Skip to content
CI (Coq)

Bump actions/checkout from 3 to 4 (#95) #183

Sign in to view logs

Bump actions/checkout from 3 to 4 (#95)

Bump actions/checkout from 3 to 4 (#95) #183

Triggered via push September 5, 2023 13:43
@dependabotdependabot[bot]
pushed 88aed7e
master
Status Success
Total duration 13m 33s
Artifacts –

coq.yml

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