Skip to content
Coq

build(deps): bump actions/checkout from 3 to 4 #598

Sign in to view logs

build(deps): bump actions/checkout from 3 to 4

build(deps): bump actions/checkout from 3 to 4 #598

Triggered via push September 11, 2023 21:44
@dependabotdependabot[bot]
pushed 6fe84c2
dependabot/github_actions/actions/checkout-4
Status Success
Total duration 5m 24s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coq.yml

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