Repository navigation

CodeQL Security Analysis

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

Sign in to view logs

Triggered via pull request July 7, 2026 10:19

opened #106

ci-agda-stdlib

Status Success

Total duration 2m 46s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze