Skip to content
Agda

chore(deps): bump github/codeql-action from 4.36.1 to 4.36.2 in the actions group #654

Sign in to view logs

chore(deps): bump github/codeql-action from 4.36.1 to 4.36.2 in the actions group

chore(deps): bump github/codeql-action from 4.36.1 to 4.36.2 in the actions group #654

Triggered via pull request June 6, 2026 20:33
@dependabotdependabot[bot]
opened #183
dependabot/github_actions/actions-0321e4ed66
Status Success
Total duration 8m 59s
Artifacts –

agda.yml

on: pull_request
check
1m 47s
check
cold-check
8m 54s
cold-check
Fit to window
Zoom out
Zoom in