Skip to content
coq / main

🤖 Sync org-wide files to upstream repo (#119) #75

Sign in to view logs

🤖 Sync org-wide files to upstream repo (#119)

🤖 Sync org-wide files to upstream repo (#119) #75

Triggered via push July 12, 2024 10:49
@ErikSchierboomErikSchierboom
pushed af03d6c
main
Status Success
Total duration 45s
Artifacts –

ci.yml

on: push
ci
36s
ci
Fit to window
Zoom out
Zoom in