Coq

Start CI 15min earlier (#427) #1369

Sign in to view logs

Triggered via push July 16, 2024 16:24

master

Status Success

Total duration 1h 26m 56s

Artifacts –

coq.yml

on: push

Matrix: build