coq-library-fol CI

Add relevant parts of mechanisation of Bailitis' Bachelor's thesis #53

Sign in to view logs

Triggered via pull request May 8, 2025 10:06

Janis-Bai

opened #8

Janis-Bai:coq-8.20

Status Success

Total duration 13m 37s

Artifacts –

build.yml

on: pull_request

Matrix: build

Annotations

1 warning

build (8.20, 4.14-flambda)

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