Skip to content
Idris2 Verification Build

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

Sign in to view logs

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

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

Triggered via pull request June 28, 2026 15:45
@dependabotdependabot[bot]
opened #150
dependabot/github_actions/actions-0454df022e
Status Success
Total duration 30s
Artifacts –

idris-verification.yml

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