fix rocq-runtime for 9.2 · rocq-prover/opam@ae7b43c

Triggered via pull request January 22, 2026 07:52

tabareau

synchronize #3609

fix-rocq-runtime-9.2

Status Success

Total duration 1m 13s

Artifacts 1

ci.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	1.91 MB	`sha256:558e374315c2e3604d09312c680b8e7a061dd993e0ad95bb1b8153a52aa12f3a`