Closed smorimoto closed 3 months ago
It's pretty annoying to keep manually bumping dependencies, and the goal is to automate with it. I could split it into different PR, but I was just lazy.
Forgive my ignorance, I am not used to dependabot. Which dependencies are we talking about? Maybe the dependencies of the github workflow definitions? (which are what? setup-ocaml
?)
Yes, Dependabot takes care of version control for GitHub Actions in this case. It automatically opens a PR whenever a new version is released.
Real world example: https://github.com/ocsigen/tyxml/pull/338
Thanks!
Thanks! Why is there a dependabot file, can we do without it?