Skip to content
Idris2 Verification Build

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

Sign in to view logs

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

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

Triggered via pull request June 21, 2026 15:45
@dependabotdependabot[bot]
opened #143
dependabot/github_actions/actions-2a9049a57f
Status Success
Total duration 7m 53s
Artifacts –

idris-verification.yml

on: pull_request
verify-idris2 (Idris2 build oracle)
7m 50s
verify-idris2 (Idris2 build oracle)
Fit to window
Zoom out
Zoom in