coq-library-fol CI

Merge pull request #8 from Janis-Bai/coq-8.20 #59

Sign in to view logs

Triggered via push November 5, 2025 14:12

coq-8.20

Status Success

Total duration 13m 42s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

1 warning

build (8.20, 4.14-flambda)

Notations "_ [ _ /⊥]" defined at level 7 with arguments constr