Bump deps/coqutil from 0833256 to e395373
#438
Conversation
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?s=60&v=4){kind=small}
Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `0833256` to `e395373`. - [Release notes](https://github.com/mit-plv/coqutil/releases) - [Commits](mit-plv/coqutil@0833256...e395373) --- updated-dependencies: - dependency-name: deps/coqutil dependency-type: direct:production ... Signed-off-by: dependabot[bot] <[email protected]>
|
Can somebody take care of this PR swiftly, it's needed for the Coq CI to go through. |
dependabot
bot
deleted the
dependabot/submodules/deps/coqutil-e395373
branch
|
Usually these dependabot PRs would get automerged if our CI passes, but here our CI for Coq master didn't pass. I'm assuming that this is because Coq's CI currently is failing as well, and that our CI should work again once Coq's does? |
|
Hopefully? |
No, this is because the Ubuntu packages no longer build because |
|
You can take inspiration of the core-dev opam package https://github.com/coq/opam/blob/master/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam |
|
I guess you can |
|
@samuelgruetter can you bump rupicola in fiat-crypto too? |
I manually triggered fiat-crypto's dependabot and it's building... mit-plv/fiat-crypto#1995 |
Done! |
Bumps deps/coqutil from
0833256toe395373.Commits
e395373CI: replace ubuntu-latest by hardcoded ubuntu versiona2bbdb2Merge pull request #121 from proux01/stdlib_repoac1fc79Adapt to coq/coq#19530Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot mergewill merge this PR after your CI passes on it@dependabot squash and mergewill squash and merge this PR after your CI passes on it@dependabot cancel mergewill cancel a previously requested merge and block automerging@dependabot reopenwill reopen this PR if it is closed@dependabot closewill close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)