CI

adapt to rocq + remove many warnings #95

Sign in to view logs

Triggered via pull request June 6, 2025 16:51

fblanqui

synchronize #57

rocq

Status Failure

Total duration 1m 46s

Artifacts –

docker-action.yml

on: pull_request

Matrix: coq

Matrix: rocq