Bump actions/checkout from 3 to 4 #28
Triggered via pull request
November 10, 2023 16:43
dependabot[bot]
Status
Success
Total duration
3h 20m 40s
Artifacts
–
coq-alpine.yml
on: pull_request
Matrix: build
alpine-check-all
3s