frama-c-metacsl Version 0.10~beta

[frama-ci-bot]

No description provided.

[zilbuz]

Depend on Frama-C 32.0~beta: #28842

[jmid]

OK, thanks. We should wait until #28842 is merged and then rerun CI for this PR.

[jmid]

Attempted a close-reopen dance to retrigger the CI, now that #28842 has been merged.
This only triggered the GHA workflows though, so I've pushed Rebuild all to retrigge the opam-ci too.

[jmid]

I've opened #28896 in an attempt to address the many tests (failed: Failed to get sources of alt-ergo.1.01: curl failed).

[mseri]

I think this needs a push rebase to be re-tested

[jmid]

OK, I've opened #28966 to keep track of the annoying Failed to get sources of alt-ergo.1.01 error with some more details.
That should let us unblock this one.

CI is green modulo the above (and Windows errors).

[jmid]

My usual question remains:
Would you consider adding an x-maintenance-intent entry?
https://github.com/ocaml/opam-repository/blob/master/governance/policies/archiving.md

[vprevosto]

My usual question remains: Would you consider adding an x-maintenance-intent entry? https://github.com/ocaml/opam-repository/blob/master/governance/policies/archiving.md

Sure, this was only an overlook on our part, sorry about that. I'll push what we add 2 releases ago and try to make sure that the opam file will include it directly in future releases.

[jmid]

Thanks! 🙏

[mseri]

alt-ergo and cmdliner keep failing. I think it is due to docker cache at this point. I don't think we should block the merge on this

[mseri]

Thanks