Agda

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

Sign in to view logs

Triggered via pull request June 11, 2026 08:18

synchronize #183

dependabot/github_actions/actions-0321e4ed66

Status Success

Total duration 11m 54s

Artifacts –

agda.yml

on: pull_request