Skip to content
Coq

Check for submodule updates daily #659

Sign in to view logs

Check for submodule updates daily

Check for submodule updates daily #659

Triggered via push April 13, 2024 00:51
@andres-erbsenandres-erbsen
pushed d1c76c2
master
Status Success
Total duration 3m 57s
Artifacts –

coq.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in