CodeQL Security Analysis

ci: add reliable Agda job (version-matched agda-stdlib via git) (#106) #215

Sign in to view logs

Triggered via push July 7, 2026 10:24

main

Status Success

Total duration 1m 11s

Artifacts –

codeql.yml

on: push

Matrix: analyze