Skip to content

Set up Dependabot to update GitHub Actions#981

Merged
james-d-mitchell merged 1 commit intosemigroups:mainfrom fingolfin:mh/dependabotJan 24, 2024
+11

Commits