Skip to content
coq / main

CI: pin GitHub Actions runners #48

Sign in to view logs

CI: pin GitHub Actions runners

CI: pin GitHub Actions runners #48

Triggered via pull request November 9, 2023 15:14
@ErikSchierboomErikSchierboom
opened #103
pin-gha-runners
Status Success
Total duration 38s
Artifacts –

ci.yml

on: pull_request
ci
29s
ci
Fit to window
Zoom out
Zoom in