Agda

chore(deps): bump github/codeql-action in the actions group #658

Sign in to view logs

Triggered via push June 11, 2026 08:18

main

Status Success

Total duration 11m 41s

Artifacts –

agda.yml

on: push