Commit Graph

3 Commits

Author SHA1 Message Date
Florian Bruhin 7e7eaaee7c Retry dependabot for GitHub Actions
See 78709ce2b9
and fa5e04fdaf

Hoping this will work better nowadays?

Tenatively closes #7299
2022-11-04 19:12:54 +01:00
Florian Bruhin fa5e04fdaf Remove dependabot for GitHub Actions
- It only seems to catch some dependencies, not all
- Its PRs (without batching) are kind of noisy
- Despite the GitHub docs saying otherwise, it seems to open PRs for
  forks...
- GitHub Actions seem to use semantic versioning pretty much
  consistently, so this should hopefully work out without explicit
  pinning.
2020-10-15 14:04:56 +02:00
Florian Bruhin 78709ce2b9 ci: Set up dependabot for GitHub Actions
We don't use it for Python (because, among other reasons, it can't bundle PRs).
There, we use recompile_requirements.py instead.
2020-07-06 13:56:45 +02:00