Agda

chore(deps): bump github/codeql-action from 4.37.3 to 4.37.6 in the actions group #897

Sign in to view logs

Triggered via pull request August 8, 2026 20:34

dependabot[bot]

opened #302

dependabot/github_actions/actions-24edcfd16d

Status Success

Total duration 12m 22s

Artifacts –

agda.yml

on: pull_request