coq-library-fol CI

fix CI using coq-library-undecidability github action file #49

Sign in to view logs

Triggered via push February 5, 2025 09:30

coq-8.18

Status Success

Total duration 12m 27s

Artifacts –

build.yml

on: push

Matrix: build