Skip to content

Actions: hyperpolymath/error-lang

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
134 workflow runs
134 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
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
feat(types): Echo types (structured loss) across the pipeline CodeQL Security Analysis #66: Pull request #17 synchronize by hyperpolymath
11m 28s claude/affinescript-error-lang-proofs-RMh9s
claude/affinescript-error-lang-proofs-RMh9s
11m 28s
ci: add timeout-minutes to standalone workflow jobs (#18) CodeQL Security Analysis #65: Commit 35c93b6 pushed by hyperpolymath
9m 43s main
main
9m 43s
feat(types): Echo types (structured loss) across the pipeline CodeQL Security Analysis #64: Pull request #17 synchronize by hyperpolymath
5m 58s claude/affinescript-error-lang-proofs-RMh9s
claude/affinescript-error-lang-proofs-RMh9s
5m 58s
feat(types): Echo types (structured loss) across the pipeline CodeQL Security Analysis #63: Pull request #17 synchronize by hyperpolymath
15m 38s claude/affinescript-error-lang-proofs-RMh9s
claude/affinescript-error-lang-proofs-RMh9s
15m 38s
feat(types): Echo types (structured loss) across the pipeline CodeQL Security Analysis #62: Pull request #17 synchronize by hyperpolymath
1m 21s claude/affinescript-error-lang-proofs-RMh9s
claude/affinescript-error-lang-proofs-RMh9s
1m 21s
ci: add timeout-minutes to standalone workflow jobs CodeQL Security Analysis #61: Pull request #18 opened by hyperpolymath
1m 22s claude/ci-workflow-hardening
claude/ci-workflow-hardening
1m 22s
feat(types): Echo types (structured loss) across the pipeline CodeQL Security Analysis #60: Pull request #17 opened by hyperpolymath
1m 10s claude/affinescript-error-lang-proofs-RMh9s
claude/affinescript-error-lang-proofs-RMh9s
1m 10s