Skip to content
Idris2 Proof

chore(deps): bump the actions group with 8 updates (#24) #5

Sign in to view logs

chore(deps): bump the actions group with 8 updates (#24)

chore(deps): bump the actions group with 8 updates (#24) #5

Triggered via push July 24, 2026 06:17
@hyperpolymathhyperpolymath
pushed 19616e2
main
Status Success
Total duration 8m 8s
Artifacts –

idris2-proof.yml

on: push
idris2-check
8m 5s
idris2-check
Fit to window
Zoom out
Zoom in