Skip to content
CodeQL Security Analysis

fix(CNO,lib): typecheck CNO.agda under --safe + add agda-lib #19

Sign in to view logs

fix(CNO,lib): typecheck CNO.agda under --safe + add agda-lib

fix(CNO,lib): typecheck CNO.agda under --safe + add agda-lib #19

Triggered via push April 30, 2026 04:07
@hyperpolymathhyperpolymath
pushed 0f8b01d
main
Status Success
Total duration 1m 17s
Artifacts –

codeql.yml

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