Coq

Schedule submodule-update CI 15min earlier #1368

Sign in to view logs

Triggered via pull request July 16, 2024 15:00

opened #427

fudge-submodule-cron

Status Success

Total duration 1h 23m 30s

Artifacts –

coq.yml

on: pull_request

Matrix: build