CI

Adapt to rocq-prover/rocq#21281 (printing flags passed functionally) #170

Sign in to view logs

Triggered via pull request November 19, 2025 11:31

SkySkimmer

opened #32

SkySkimmer:print-flags

Status Failure

Total duration 14s

Artifacts –

main.yml

on: pull_request

Matrix: build-matrix