Skip to content
Agda

chore(deps): bump github/codeql-action from 4.37.3 to 4.37.6 in the a… #898

Sign in to view logs

chore(deps): bump github/codeql-action from 4.37.3 to 4.37.6 in the a…

chore(deps): bump github/codeql-action from 4.37.3 to 4.37.6 in the a… #898

Triggered via push August 8, 2026 21:59
@hyperpolymathhyperpolymath
pushed baebe0c
main
Status Success
Total duration 12m 27s
Artifacts –

agda.yml

on: push
check
1m 52s
check
cold-check
12m 22s
cold-check
Fit to window
Zoom out
Zoom in