CodeQL Security Analysis

codeql.yml

1137 workflow runs

proof(L1): experiment 3b — preservation_l1 is provably FALSE as state…
completed successfully:
CodeQL Security Analysis#837:Commit22e278epushedbyhyperpolymath
main
Jul 7, 20261m 5s
proof(L1): experiment 3b — preservation_l1 is provably FALSE as stated [owner ratification]
completed successfully:
CodeQL Security Analysis#836:Pull request#344openedbyhyperpolymath
proof/preservation-l1-counterexample
Jul 6, 202619m 2s
test(corpus): whole-repo .eph ratchet gate — only 13/119 files compil…
completed successfully:
CodeQL Security Analysis#835:Commit92cd278pushedbyhyperpolymath
main
Jul 6, 202619m 13s
test(corpus): whole-repo .eph ratchet gate — only 13/119 files compile today
completed successfully:
CodeQL Security Analysis#834:Pull request#343openedbyhyperpolymath
feat/eph-corpus-gate
Jul 6, 202619m 40s
proof(L1): experiment 3 — step_pop_disjoint_from_type_l1 is provably …
cancelled:
CodeQL Security Analysis#833:Commit84a7bdcpushedbyhyperpolymath
main
Jul 6, 202634s
proof(L1): experiment 3 — step_pop_disjoint_from_type_l1 is provably FALSE as stated
completed successfully:
CodeQL Security Analysis#832:Pull request#342openedbyhyperpolymath
proof/steppop-counterexample
Jul 6, 202619m 8s
chore(hygiene): purge committed build artifacts + fix Secret Scanner …
cancelled:
CodeQL Security Analysis#831:Commitb2ee89epushedbyhyperpolymath
main
Jul 6, 202616m 6s
chore(hygiene): purge committed build artifacts + fix Secret Scanner startup_failure
completed successfully:
CodeQL Security Analysis#830:Pull request#341openedbyhyperpolymath
chore/hygiene-zig-cache-ocaml-artifacts
Jul 6, 202632m 34s
fix(idris2): make the dyadic parse front-end actually compile + gate …
cancelled:
CodeQL Security Analysis#829:Commitd2bd75fpushedbyhyperpolymath
main
Jul 6, 202614m 1s
fix(idris2): make the dyadic parse front-end actually compile + gate it in CI
completed successfully:
CodeQL Security Analysis#828:Pull request#340openedbyhyperpolymath
worktree-health-check-idris2-headers
Jul 6, 202637m 3s
brand: new e-mark (Euler's e + ἐφάπαξ), fix README hero positioning (…
completed successfully:
CodeQL Security Analysis#827:Commit632910bpushedbyhyperpolymath
main
Jul 5, 202652s
brand: new e-mark (Euler's e + ἐφάπαξ), fix README hero positioning
completed successfully:
CodeQL Security Analysis#826:Pull request#339openedbyhyperpolymath
brand/e-mark
Jul 5, 202655s
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#338)
completed successfully:
CodeQL Security Analysis#825:Commitf95d1dbpushedbyhyperpolymath
main
Jul 3, 202615m 10s
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage
completed successfully:
CodeQL Security Analysis#824:Pull request#338openedbyhyperpolymath
ci/repin-rust-ci-reusable-412a7031
Jul 3, 20265m 58s
build(deps): bump the actions group with 2 updates (#337)
completed successfully:
CodeQL Security Analysis#823:Commit3ea3893pushedbyhyperpolymath
main
Jul 3, 20261m 12s
build(deps): bump the actions group with 2 updates
completed successfully:
CodeQL Security Analysis#822:Pull request#337openedbydependabot[bot]Bot
dependabot/github_actions/actions-af2beed448
Jul 3, 202656s
build(deps): bump dawidd6/action-send-mail from 994f270325d4f7257aff2…
completed successfully:
CodeQL Security Analysis#821:Commit55d6a24pushedbyhyperpolymath
main
Jul 2, 202658s
build(deps): bump dawidd6/action-send-mail from 994f270325d4f7257aff241a35488ef54ba364a4 to c50dc4cc848ade21f848990889906d804fae78c5 in the actions group
completed successfully:
CodeQL Security Analysis#820:Pull request#336openedbydependabot[bot]Bot
dependabot/github_actions/actions-0830be419c
Jul 2, 20261m 9s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#819:Scheduled
main
Jul 1, 202652s
build(deps): bump dtolnay/rust-toolchain from 67ef31d5b988238dd797d40…
completed successfully:
CodeQL Security Analysis#818:Commit0e96a10pushedbyhyperpolymath
main
Jul 1, 202656s
build(deps): bump dtolnay/rust-toolchain from 67ef31d5b988238dd797d409d6f9574278e20537 to fa04a1451ff1842e2626ccb99004d0195b455a88 in the actions group
completed successfully:
CodeQL Security Analysis#817:Pull request#335openedbydependabot[bot]Bot
dependabot/github_actions/actions-d88744ac39
Jul 1, 202654s
feat(ffi): contract-test the idris2↔zig token-buffer ABI (seams) (#334)
completed successfully:
CodeQL Security Analysis#816:Commitcac5c4cpushedbyhyperpolymath
main
Jun 29, 202655s
feat(ffi): contract-test the idris2↔zig token-buffer ABI (seams)
completed successfully:
CodeQL Security Analysis#815:Pull request#334openedbyhyperpolymath
claude/ffi-seams
Jun 29, 202658s
chore(cleanup): remove dead lib/ duplicates + legacy OCaml prototype …
completed successfully:
CodeQL Security Analysis#814:Commit6a9a91cpushedbyhyperpolymath
main
Jun 29, 20261m 1s
chore(cleanup): remove dead lib/ duplicates + legacy OCaml prototype
completed successfully:
CodeQL Security Analysis#813:Pull request#333openedbyhyperpolymath
claude/housekeeping-dead-files
Jun 29, 20261m 2s

Navigation Menu

CodeQL Security Analysis

1137 workflow runs

proof(L1): experiment 3b — preservation_l1 is provably FALSE as state…

proof(L1): experiment 3b — preservation_l1 is provably FALSE as stated [owner ratification]

test(corpus): whole-repo .eph ratchet gate — only 13/119 files compil…

test(corpus): whole-repo .eph ratchet gate — only 13/119 files compile today

proof(L1): experiment 3 — step_pop_disjoint_from_type_l1 is provably …

proof(L1): experiment 3 — step_pop_disjoint_from_type_l1 is provably FALSE as stated

chore(hygiene): purge committed build artifacts + fix Secret Scanner …

chore(hygiene): purge committed build artifacts + fix Secret Scanner startup_failure

fix(idris2): make the dyadic parse front-end actually compile + gate …

fix(idris2): make the dyadic parse front-end actually compile + gate it in CI

brand: new e-mark (Euler's e + ἐφάπαξ), fix README hero positioning (…

brand: new e-mark (Euler's e + ἐφάπαξ), fix README hero positioning

fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#338)

fix(ci): re-pin rust-ci-reusable past toolchain-input breakage

build(deps): bump the actions group with 2 updates (#337)

build(deps): bump the actions group with 2 updates

build(deps): bump dawidd6/action-send-mail from 994f270325d4f7257aff2…

build(deps): bump dawidd6/action-send-mail from 994f270325d4f7257aff241a35488ef54ba364a4 to c50dc4cc848ade21f848990889906d804fae78c5 in the actions group

CodeQL Security Analysis

build(deps): bump dtolnay/rust-toolchain from 67ef31d5b988238dd797d40…

build(deps): bump dtolnay/rust-toolchain from 67ef31d5b988238dd797d409d6f9574278e20537 to fa04a1451ff1842e2626ccb99004d0195b455a88 in the actions group

feat(ffi): contract-test the idris2↔zig token-buffer ABI (seams) (#334)

feat(ffi): contract-test the idris2↔zig token-buffer ABI (seams)

chore(cleanup): remove dead lib/ duplicates + legacy OCaml prototype …

chore(cleanup): remove dead lib/ duplicates + legacy OCaml prototype

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

1137 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.