Skip to content
CodeQL Security Analysis

chore(policy): recognise Agda + echo-types as canonical loss-with-residue formalism #314

Sign in to view logs

chore(policy): recognise Agda + echo-types as canonical loss-with-residue formalism

chore(policy): recognise Agda + echo-types as canonical loss-with-residue formalism #314

Triggered via pull request May 1, 2026 08:38
@hyperpolymathhyperpolymath
synchronize #36
chore/recognise-agda-and-echo-types
Status Success
Total duration 1m 12s
Artifacts –

codeql.yml

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

Annotations

1 warning
analyze (javascript-typescript, none)
Starting April 2026, the CodeQL Action will skip computing file coverage information on pull requests to improve analysis performance. File coverage information will still be computed on non-PR analyses. To opt out of this change, set the `CODEQL_ACTION_FILE_COVERAGE_ON_PRS` environment variable to `true`.