Skip to content
Idris2 Verification Build

chore(deps): bump the actions group with 2 updates #58

Sign in to view logs

chore(deps): bump the actions group with 2 updates

chore(deps): bump the actions group with 2 updates #58

Triggered via push June 21, 2026 15:49
@hyperpolymathhyperpolymath
pushed 34253ed
main
Status Success
Total duration 8m 12s
Artifacts –

idris-verification.yml

on: push
verify-idris2 (Idris2 build oracle)
8m 9s
verify-idris2 (Idris2 build oracle)
Fit to window
Zoom out
Zoom in