Skip to content
CodeQL Security Analysis

fix(ci): robust agda-stdlib registration (green the proofs workflow) #207

Sign in to view logs

fix(ci): robust agda-stdlib registration (green the proofs workflow)

fix(ci): robust agda-stdlib registration (green the proofs workflow) #207

Triggered via pull request July 7, 2026 05:35
@hyperpolymathhyperpolymath
opened #103
ci-agda-fix
Status Success
Total duration 2m 11s
Artifacts –

codeql.yml

on: pull_request
Matrix: analyze
Fit to window
Zoom out
Zoom in

Annotations

1 warning
analyze (javascript-typescript, none)
Error retrieving diff main...hyperpolymath:ci-agda-fix: Not Found - https://docs.github.com/rest/commits/commits#compare-two-commits