Coq

Coq #720

Sign in to view logs

Triggered via schedule December 1, 2024 01:55

master

Status Success

Total duration 4m 41s

Artifacts –

coq.yml

on: schedule

Matrix: build