CI

Adapt to https://github.com/rocq-prover/rocq/pull/21126 #169

Sign in to view logs

Re-run triggered November 24, 2025 19:55

ppedrot

#31

proux01:rocq21126

Status Failure

Total duration 13s

Artifacts –

main.yml

on: pull_request

Matrix: build-matrix