CI

Hopeful compatibility with coq/coq#19599 (#239) #2113

Sign in to view logs

Triggered via push October 25, 2024 13:14

JasonGross

master

Status Success

Total duration 8h 6m 45s

Artifacts –

ci.yml

on: push

Matrix: build

Matrix: docker-build