Skip to content
coq / main

Pin GitHub Actions runners to a specific version (#103) #49

Sign in to view logs

Pin GitHub Actions runners to a specific version (#103)

Pin GitHub Actions runners to a specific version (#103) #49

Triggered via push November 14, 2023 13:30
@ErikSchierboomErikSchierboom
pushed c94b59d
main
Status Success
Total duration 50s
Artifacts –

ci.yml

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