CI

adapt to rocq + remove many warnings #93

Sign in to view logs

Triggered via pull request June 6, 2025 16:46

fblanqui

synchronize #57

rocq

Status Failure

Total duration 1m 42s

Artifacts –

docker-action.yml

on: pull_request

Matrix: coq

Matrix: rocq

⚡