Skip to content

Actions: hyperpolymath/error-lang

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
141 workflow runs
141 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
ReScript→AffineScript migration: Cst.affine (module 3) (#28) CodeQL Security Analysis #91: Commit 5c3a0b3 pushed by hyperpolymath
1m 10s main
main
1m 10s
ReScript→AffineScript migration: Cst.affine (module 3) CodeQL Security Analysis #90: Pull request #28 opened by hyperpolymath
1m 6s claude/youthful-fermat-90bhhu
claude/youthful-fermat-90bhhu
1m 6s
ReScript→AffineScript migration: Lexer.affine (module 2) (#27) CodeQL Security Analysis #89: Commit 2821914 pushed by hyperpolymath
1m 9s main
main
1m 9s
ReScript→AffineScript migration: Lexer.affine (module 2) CodeQL Security Analysis #88: Pull request #27 opened by hyperpolymath
1m 19s claude/youthful-fermat-90bhhu
claude/youthful-fermat-90bhhu
1m 19s
ReScript→AffineScript migration: toolchain + Types.affine (module 1 o… CodeQL Security Analysis #87: Commit 727c428 pushed by hyperpolymath
1m 12s main
main
1m 12s
ReScript→AffineScript migration: toolchain + Types.affine (module 1 of 17) CodeQL Security Analysis #86: Pull request #26 synchronize by hyperpolymath
1m 25s claude/youthful-fermat-90bhhu
claude/youthful-fermat-90bhhu
1m 25s
ReScript→AffineScript migration: toolchain + Types.affine (module 1 of 17) CodeQL Security Analysis #85: Pull request #26 opened by hyperpolymath
1m 18s claude/youthful-fermat-90bhhu
claude/youthful-fermat-90bhhu
1m 18s
Design: Error-Lang as a Trope IR front end (trope-particularity integ… CodeQL Security Analysis #84: Commit 4766c27 pushed by hyperpolymath
1m 8s main
main
1m 8s
Design: Error-Lang as a Trope IR front end (trope-particularity integration) CodeQL Security Analysis #83: Pull request #25 synchronize by hyperpolymath
1m 13s claude/youthful-fermat-90bhhu
claude/youthful-fermat-90bhhu
1m 13s
Design: Error-Lang as a Trope IR front end (trope-particularity integration) CodeQL Security Analysis #82: Pull request #25 opened by hyperpolymath
1m 11s claude/youthful-fermat-90bhhu
claude/youthful-fermat-90bhhu
1m 11s
error-lang: replace fabricated ABI "proofs" with machine-checked ones… CodeQL Security Analysis #81: Commit ac3340f pushed by hyperpolymath
1m 14s main
main
1m 14s
Replace fabricated ABI proofs with machine-checked Idris2 proofs CodeQL Security Analysis #80: Pull request #24 opened by hyperpolymath
1m 21s claude/youthful-fermat-90bhhu
claude/youthful-fermat-90bhhu
1m 21s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #79: Commit 8e5b355 pushed by hyperpolymath
14m 0s main
main
14m 0s
Claude/ci workflow hardening (#23) CodeQL Security Analysis #78: Commit 370f879 pushed by hyperpolymath
1m 6s main
main
1m 6s
Claude/ci workflow hardening CodeQL Security Analysis #77: Pull request #23 opened by hyperpolymath
1m 3s claude/ci-workflow-hardening
claude/ci-workflow-hardening
1m 3s
Claude/affinescript error lang proofs r mh9s (#22) CodeQL Security Analysis #76: Commit 2284150 pushed by hyperpolymath
1m 0s main
main
1m 0s
Claude/affinescript error lang proofs r mh9s CodeQL Security Analysis #75: Pull request #22 opened by hyperpolymath
1m 8s claude/affinescript-error-lang-proofs-RMh9s
claude/affinescript-error-lang-proofs-RMh9s
1m 8s
Claude/ci workflow hardening (#21) CodeQL Security Analysis #74: Commit c88fbb8 pushed by hyperpolymath
1m 13s main
main
1m 13s
Claude/ci workflow hardening CodeQL Security Analysis #73: Pull request #21 synchronize by hyperpolymath
1m 9s claude/ci-workflow-hardening
claude/ci-workflow-hardening
1m 9s
Claude/affinescript error lang proofs r mh9s (#20) CodeQL Security Analysis #72: Commit f3d8cff pushed by hyperpolymath
1m 11s main
main
1m 11s
Claude/affinescript error lang proofs r mh9s CodeQL Security Analysis #71: Pull request #20 synchronize by hyperpolymath
1m 16s claude/affinescript-error-lang-proofs-RMh9s
claude/affinescript-error-lang-proofs-RMh9s
1m 16s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… CodeQL Security Analysis #70: Commit ae96a79 pushed by hyperpolymath
3m 41s main
main
3m 41s
Merge pull request #19 from hyperpolymath/claude/safedom-res-stale-sweep CodeQL Security Analysis #69: Commit ee0969c pushed by hyperpolymath
1m 12s main
main
1m 12s
security: standardize secret scanning on TruffleHog CodeQL Security Analysis #68: Pull request #19 synchronize by hyperpolymath
1m 40s claude/safedom-res-stale-sweep
claude/safedom-res-stale-sweep
1m 40s
feat(types): Echo types (structured loss) across the pipeline (#17) CodeQL Security Analysis #67: Commit 10e937c pushed by hyperpolymath
8m 11s main
main
8m 11s