coq-library-fol CI

Address syntax confusion noticed in #8 #65

Sign in to view logs

Triggered via push November 5, 2025 22:54

rocq-9.0

Status Success

Total duration 12m 29s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

1 warning

build (9.0.1, 4.14.2-flambda)

Loading Stdlib without prefix is deprecated.