Skip to content
Idris2 ABI Type-Check

chore(deps): bump the actions group across 1 directory with 8 updates #193

Sign in to view logs

chore(deps): bump the actions group across 1 directory with 8 updates

chore(deps): bump the actions group across 1 directory with 8 updates #193

Triggered via pull request July 27, 2026 16:51
@dependabotdependabot[bot]
opened #326
dependabot/github_actions/actions-58ed4e00f3
Status Success
Total duration 1m 31s
Artifacts –

idris2-abi-ci.yml

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