Skip to content

Actions: hyperpolymath/verisimiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
291 workflow runs
291 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix(ci): clear OSSF Scorecard startup_failure (#181) CodeQL Security Analysis #291: Commit 3398da0 pushed by hyperpolymath
35m 54s main
main
35m 54s
fix(ci): clear OSSF Scorecard startup_failure CodeQL Security Analysis #290: Pull request #181 opened by hyperpolymath
19m 5s fix/scorecard-caller-startup
fix/scorecard-caller-startup
19m 5s
CodeQL Security Analysis CodeQL Security Analysis #289: Scheduled
1m 50s main
main
1m 50s
fix(clade): correct identity uuid (deterministic v5) (#180) CodeQL Security Analysis #288: Commit 2956930 pushed by hyperpolymath
12m 12s main
main
12m 12s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #287: Pull request #180 opened by hyperpolymath
11m 57s fix/clade-uuid
fix/clade-uuid
11m 57s
CodeQL Security Analysis CodeQL Security Analysis #286: Scheduled
1m 42s main
main
1m 42s
fix(soundness): FFI octad ops fail loudly instead of reporting false … CodeQL Security Analysis #285: Commit 696c495 pushed by hyperpolymath
1m 52s main
main
1m 52s
fix(soundness): FFI octad ops fail loudly instead of reporting false success CodeQL Security Analysis #284: Pull request #179 opened by hyperpolymath
1m 55s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 55s
ABI Layer 5: end-to-end soundness capstone certificate (#178) CodeQL Security Analysis #283: Commit ce26ae4 pushed by hyperpolymath
1m 50s main
main
1m 50s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #282: Pull request #178 synchronize by hyperpolymath
1m 51s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 51s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #281: Commit 0d2e8e5 pushed by hyperpolymath
1m 53s main
main
1m 53s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #280: Pull request #177 synchronize by hyperpolymath
1m 47s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 47s
ABI Layer 3: compositional sidecar isolation (write-effect monoid hom… CodeQL Security Analysis #279: Commit 3f4675c pushed by hyperpolymath
1m 45s main
main
1m 45s
ABI Layer 3: compositional sidecar isolation (write-effect monoid homomorphism) CodeQL Security Analysis #278: Pull request #176 synchronize by hyperpolymath
1m 47s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 47s
fix(ci): use the pinned Julia 1.11.5 in the ABI-FFI gate (#175) CodeQL Security Analysis #277: Commit 77f6eb7 pushed by hyperpolymath
1m 24s main
main
1m 24s
fix(ci): use the pinned Julia 1.11.5 in the ABI-FFI gate CodeQL Security Analysis #276: Pull request #175 opened by hyperpolymath
1m 41s claude/abi-ffi-gate-julia-pin
claude/abi-ffi-gate-julia-pin
1m 41s
chore: port the ABI-FFI gate from Python to Julia (RSR-H4: no Python)… CodeQL Security Analysis #275: Commit dd49dd3 pushed by hyperpolymath
1m 50s main
main
1m 50s
chore: port the ABI-FFI gate from Python to Julia (RSR-H4: no Python) CodeQL Security Analysis #274: Pull request #174 opened by hyperpolymath
1m 47s claude/abi-ffi-gate-julia
claude/abi-ffi-gate-julia
1m 47s
feat(abi): prove hash-chain integrity, version ordering & lineage acy… CodeQL Security Analysis #273: Commit b53a4c8 pushed by hyperpolymath
2m 16s main
main
2m 16s
feat(abi): prove hash-chain integrity, version ordering & lineage acyclicity (Idris2) CodeQL Security Analysis #272: Pull request #173 opened by hyperpolymath
1m 43s claude/verisimiser-abi-proofs
claude/verisimiser-abi-proofs
1m 43s
chore(license): reconcile residual PMPL prose to canonical MPL-2.0 + … CodeQL Security Analysis #271: Commit 5c1c44c pushed by hyperpolymath
1m 49s main
main
1m 49s
chore(license): reconcile residual PMPL prose to canonical MPL-2.0 + CC-BY-SA-4.0 CodeQL Security Analysis #270: Pull request #172 opened by hyperpolymath
1m 40s claude/resolve-pr-167-jeczsh
claude/resolve-pr-167-jeczsh
1m 40s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#171) CodeQL Security Analysis #269: Commit 56e6c5f pushed by hyperpolymath
2h 33m 17s main
main
2h 33m 17s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #268: Pull request #171 opened by hyperpolymath
2h 32m 38s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2h 32m 38s
verisimiser: make ABI/FFI/codegen provably-real + honest docs (#167) CodeQL Security Analysis #267: Commit 86319db pushed by hyperpolymath
1m 54s main
main
1m 54s