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

Triggered via pull request January 22, 2026 07:53

tabareau

synchronize #3609

fix-rocq-runtime-9.2

Status Success

Total duration 1m 23s

Artifacts 1

ci.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	1.91 MB	`sha256:7c2dc31be842c0e4e23ae32dae493bef20cb8538e49bb5cac4d6bc5436f1f471`