Skip to content
Idris2 ABI Type-Check

chore(deps): bump the actions group with 10 updates #191

Sign in to view logs

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

chore(deps): bump the actions group with 10 updates #191

Triggered via pull request July 24, 2026 08:12
@dependabotdependabot[bot]
opened #324
dependabot/github_actions/actions-2590d41ce5
Status Success
Total duration 20s
Artifacts –

idris2-abi-ci.yml

on: pull_request
Type-check Idris2 ABI definitions
15s
Type-check Idris2 ABI definitions
Fit to window
Zoom out
Zoom in