Skip to content

Actions: hyperpolymath/wokelang

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
384 workflow runs
384 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
feat(proofs): Coq binop parity — or/sub/mul/div/mod + comparisons in WokeLang.v CodeQL Security Analysis #284: Pull request #86 opened by hyperpolymath
42s claude/coq-binop-parity
claude/coq-binop-parity
42s
style(rust): clear cargo clippy -- -D warnings (the other half of B… CodeQL Security Analysis #283: Commit ab94e64 pushed by hyperpolymath
44s main
main
44s
style(rust): clear cargo clippy -- -D warnings (the other half of Build Check) CodeQL Security Analysis #282: Pull request #85 synchronize by hyperpolymath
54s claude/fix-clippy-warnings
claude/fix-clippy-warnings
54s
docs(machine-readable): surface PRs #79-#82 proof work to bot-coordin… CodeQL Security Analysis #281: Commit dccad8f pushed by hyperpolymath
50s main
main
50s
docs(machine-readable): surface PRs #79-#82 proof work to bot-coordination state CodeQL Security Analysis #280: Pull request #83 synchronize by hyperpolymath
52s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
52s
style(rust): satisfy cargo fmt --check (fix red Build Check on main… CodeQL Security Analysis #279: Commit df7f213 pushed by hyperpolymath
32s main
main
32s
docs(machine-readable): surface PRs #79-#82 proof work to bot-coordination state CodeQL Security Analysis #278: Pull request #83 synchronize by hyperpolymath
30s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
30s
style(rust): satisfy cargo fmt --check (fix red Build Check on main) CodeQL Security Analysis #277: Pull request #84 opened by hyperpolymath
36s claude/fix-rustfmt-nonconformity
claude/fix-rustfmt-nonconformity
36s
docs(machine-readable): surface PRs #79-#82 proof work to bot-coordination state CodeQL Security Analysis #276: Pull request #83 opened by hyperpolymath
43s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
43s
CodeQL Security Analysis CodeQL Security Analysis #275: Scheduled
35s main
main
35s
fix(proofs): repair bit-rotted WokeLang.v (Coq) + meticulous audit + … CodeQL Security Analysis #274: Commit 11ec276 pushed by hyperpolymath
36s main
main
36s
fix(proofs): repair bit-rotted WokeLang.v (Coq) + meticulous audit + CI gate CodeQL Security Analysis #273: Pull request #82 opened by hyperpolymath
43s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
43s
feat(proofs): Tier 1 — comparisons (lt/gt/le/ge) + div/mod with panic… CodeQL Security Analysis #272: Commit b244755 pushed by hyperpolymath
39s main
main
39s
feat(proofs): Tier 1 — comparisons (lt/gt/le/ge) + div/mod with panic CodeQL Security Analysis #271: Pull request #81 opened by hyperpolymath
44s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
44s
feat(proofs): extend type safety — or/sub/mul operators + capability … CodeQL Security Analysis #270: Commit da35ff4 pushed by hyperpolymath
31s main
main
31s
feat(proofs): extend type safety — or/sub/mul operators + capability preorder CodeQL Security Analysis #269: Pull request #80 opened by hyperpolymath
37s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
37s
fix(proofs): repair WokeLang.lean to verify under Lean 4.30.0 + add C… CodeQL Security Analysis #268: Commit 343867d pushed by hyperpolymath
37s main
main
37s
fix(proofs): repair WokeLang.lean to verify under Lean 4.30.0 + add CI gate CodeQL Security Analysis #267: Pull request #79 opened by hyperpolymath
35s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
35s
CI/CD gate fixes + estate-standardization reconciliation (#77) CodeQL Security Analysis #266: Commit f51b27e pushed by hyperpolymath
37s main
main
37s
CI/CD gate: fix red gates at root (tests, opam, governance) + reconcile branches CodeQL Security Analysis #265: Pull request #77 synchronize by hyperpolymath
1m 20s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
1m 20s
security: standardize secret scanning on TruffleHog (#76) CodeQL Security Analysis #264: Commit 7d44fee pushed by hyperpolymath
1m 6s main
main
1m 6s
security: standardize secret scanning on TruffleHog CodeQL Security Analysis #263: Pull request #76 synchronize by hyperpolymath
1m 22s chore/workflow-hardening-sha-pin
chore/workflow-hardening-sha-pin
1m 22s
CodeQL Security Analysis CodeQL Security Analysis #262: Scheduled
1m 13s main
main
1m 13s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … CodeQL Security Analysis #261: Commit d855299 pushed by hyperpolymath
2h 33m 37s main
main
2h 33m 37s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) CodeQL Security Analysis #260: Pull request #75 opened by hyperpolymath
8m 29s ci/bump-a2ml-validate-action-sexpr-support
ci/bump-a2ml-validate-action-sexpr-support
8m 29s