coq-library-fol CI

make this release 1.1 #61

Sign in to view logs

Triggered via push November 5, 2025 15:00

v1.1+9.0.1

Status Success

Total duration 12m 18s

Artifacts –

build.yml

on: push

Matrix: build