CI

(github) add Rocq to CI #58

Sign in to view logs

Triggered via push April 23, 2025 12:15

bensimner

main

Status Success

Total duration 9m 53s

Artifacts –

ci.yml

on: push

Matrix: build_rocq