Skip to content

Port to Rocq 9.1

Port to Rocq 9.1 #34

This workflow is awaiting approval from a maintainer in #39
Triggered via pull request February 25, 2026 13:37
@4ever24ever2
synchronize #39
4ever2:rocq-9.1
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #39

nix-action-default.yml

on: pull_request
rocq-core
rocq-core
coq
coq
verified-extraction
verified-extraction
equations
equations
ceres
ceres
metarocq
metarocq
Fit to window
Zoom out
Zoom in