coq-library-fol CI

Merge remote-tracking branch 'kirst/coq-8.20' into rocq-9.0 #63

Sign in to view logs

Triggered via push November 5, 2025 15:24

v1.1+9.0.1

Status Success

Total duration 12m 15s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

1 warning

build (9.0.1, 4.14.2-flambda)

Loading Stdlib without prefix is deprecated.