CodeQL Security Analysis

codeql.yml

1013 workflow runs

chore: fix license headers to PMPL-1.0-or-later
failed:
CodeQL Security Analysis#88:Commit5d54c1fpushedbyhyperpolymath
main
Jan 22, 20261h 55m 24s
chore: commit local changes for sync
failed:
CodeQL Security Analysis#87:Commite4932eapushedbyhyperpolymath
main
Jan 22, 202624m 26s
CodeQL Security Analysis
failed:
CodeQL Security Analysis#86:Scheduled
main
Jan 19, 20261m 0s
Make build-proven executable
failed:
CodeQL Security Analysis#85:Commit77d15f0pushedbyhyperpolymath
main
Jan 17, 202650s
Integrate proven library and update docs
failed:
CodeQL Security Analysis#84:Commitd801272pushedbyhyperpolymath
main
Jan 17, 202652s
Align wasm copy, polish warnings, update docs
failed:
CodeQL Security Analysis#83:Commitf17e65dpushedbyhyperpolymath
main
Jan 17, 202648s
Lock syntax and update roadmap/state
failed:
CodeQL Security Analysis#82:Commit5e6580epushedbyhyperpolymath
main
Jan 17, 202638s
Pin smoke CI image and tool versions
failed:
CodeQL Security Analysis#81:Commitee1ae70pushedbyhyperpolymath
main
Jan 17, 202642s
Add smoke badge and cache CI
failed:
CodeQL Security Analysis#80:Commit0a3b3dbpushedbyhyperpolymath
main
Jan 17, 202646s
Enforce let! linear bindings and add CI smoke
failed:
CodeQL Security Analysis#79:Commite258803pushedbyhyperpolymath
main
Jan 17, 202639s
Add let! parsing and smoke test
failed:
CodeQL Security Analysis#78:Commit39b0426pushedbyhyperpolymath
main
Jan 17, 202647s
Update hello example with statement delimiters
failed:
CodeQL Security Analysis#77:Commit4a7eb12pushedbyhyperpolymath
main
Jan 17, 202657s
Add block syntax, semicolons, and Zig cache config
failed:
CodeQL Security Analysis#76:Commitf63bc47pushedbyhyperpolymath
main
Jan 17, 202652s
Handle // comments and lowercase base types
failed:
CodeQL Security Analysis#75:Commita39a07apushedbyhyperpolymath
main
Jan 17, 202650s
Use refc Zig flags in Idris2 scripts
failed:
CodeQL Security Analysis#74:Commit9c5d78bpushedbyhyperpolymath
main
Jan 17, 202655s
Add Idris2 affine stage and Zig token buffer
failed:
CodeQL Security Analysis#73:Commit771e216pushedbyhyperpolymath
main
Jan 17, 202653s
Add STATE.scm project tracking
failed:
CodeQL Security Analysis#72:Commit133c60apushedbyhyperpolymath
main
Jan 17, 202649s
CodeQL Security Analysis
failed:
CodeQL Security Analysis#71:Scheduled
main
Jan 12, 202619s
Normalize license badge
failed:
CodeQL Security Analysis#70:Commit204ab33pushedbyhyperpolymath
main
Jan 10, 202651m 43s
Remove duplicate CONTRIBUTING.md (content in CONTRIBUTING.adoc)
failed:
CodeQL Security Analysis#69:Commit6eaed33pushedbyhyperpolymath
main
Jan 8, 202636m 24s
Add MAINTAINERS.adoc
failed:
CodeQL Security Analysis#68:Commit1416efapushedbyhyperpolymath
main
Jan 8, 202643m 18s
refactor(parser): replace chumsky with pest PEG parser
failed:
CodeQL Security Analysis#67:Commitda94e02pushedbyhyperpolymath
main
Jan 5, 202629m 38s
policy: ban Python completely (no exceptions)
failed:
CodeQL Security Analysis#66:Commite8fbf83pushedbyhyperpolymath
main
Jan 5, 202640s
fix(typing): add type_check alias for REPL compatibility
failed:
CodeQL Security Analysis#65:Commit69abf7bpushedbyhyperpolymath
main
Jan 5, 202627s
CodeQL Security Analysis
failed:
CodeQL Security Analysis#64:Scheduled
main
Jan 5, 202620s

Navigation Menu

CodeQL Security Analysis

1013 workflow runs

chore: fix license headers to PMPL-1.0-or-later

chore: commit local changes for sync

CodeQL Security Analysis

Make build-proven executable

Integrate proven library and update docs

Align wasm copy, polish warnings, update docs

Lock syntax and update roadmap/state

Pin smoke CI image and tool versions

Add smoke badge and cache CI

Enforce let! linear bindings and add CI smoke

Add let! parsing and smoke test

Update hello example with statement delimiters

Add block syntax, semicolons, and Zig cache config

Handle // comments and lowercase base types

Use refc Zig flags in Idris2 scripts

Add Idris2 affine stage and Zig token buffer

Add STATE.scm project tracking

CodeQL Security Analysis

Normalize license badge

Remove duplicate CONTRIBUTING.md (content in CONTRIBUTING.adoc)

Add MAINTAINERS.adoc

refactor(parser): replace chumsky with pest PEG parser

policy: ban Python completely (no exceptions)

fix(typing): add type_check alias for REPL compatibility

CodeQL Security Analysis

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for CodeQL Security Analysis

1013 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.