coq-library-fol CI

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

Sign in to view logs

Triggered via push November 5, 2025 15:24

rocq-9.0

Status Success

Total duration 11m 53s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

1 warning

build (9.0.1, 4.14.2-flambda)

Loading Stdlib without prefix is deprecated.