Skip to content

Add dependabot checking github actions #534

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Mar 5, 2025
Merged

Add dependabot checking github actions #534

merged 1 commit into from
Mar 5, 2025

Conversation

jmid
Copy link
Collaborator

@jmid jmid commented Mar 4, 2025

No description provided.

@jmid
Copy link
Collaborator Author

jmid commented Mar 5, 2025

CI summary:

  • opam installation on 5.4.0+trunk failed as expected (as the current dune is not trunk compatible), causing
  • 7 other opam installation workflows to be cancelled

Out of 36 workflows, 1 failed with a genuine error, and 7 were cancelled

@jmid jmid merged commit 7a6b3a0 into main Mar 5, 2025
28 of 36 checks passed
@jmid jmid deleted the add-dependabot branch March 5, 2025 15:24
@jmid
Copy link
Collaborator Author

jmid commented Mar 5, 2025

CI summary for merge to main:

Out of 37 workflows there were 7 cancelled, 1 genuine error, and 1 borderline issue (potentially a Cygwin issue)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant