Skip to content

Actions: hyperpolymath/wokelang

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
200 workflow runs
200 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 Palimpsest badge URL (licence → license) CodeQL Security Analysis #75: Commit 04be30e pushed by hyperpolymath
1h 30m 55s main
main
1h 30m 55s
Update licensing to MPL-2.0 + Palimpsest CodeQL Security Analysis #74: Commit fd76d72 pushed by hyperpolymath
16m 3s main
main
16m 3s
feat: add machine-readable anchor and spec files (#34) CodeQL Security Analysis #73: Commit 995ee8a pushed by hyperpolymath
21s main
main
21s
feat: add machine-readable anchor and spec files CodeQL Security Analysis #72: Pull request #34 synchronize by hyperpolymath
17s claude/setup-wokelang-anchor-0s8nS
claude/setup-wokelang-anchor-0s8nS
17s
feat: add machine-readable anchor and spec files CodeQL Security Analysis #71: Pull request #34 opened by hyperpolymath
20s claude/setup-wokelang-anchor-0s8nS
claude/setup-wokelang-anchor-0s8nS
20s
Set up OCaml core language foundation (#33) CodeQL Security Analysis #70: Commit b2e61ea pushed by hyperpolymath
18s main
main
18s
Set up OCaml core language foundation CodeQL Security Analysis #69: Pull request #33 opened by hyperpolymath
24s claude/setup-ocaml-core-6yHu7
claude/setup-ocaml-core-6yHu7
24s
chore: add security validation pre-commit hooks CodeQL Security Analysis #68: Commit 4025910 pushed by hyperpolymath
3m 21s main
main
3m 21s
chore: update mirror workflow for multi-forge sync CodeQL Security Analysis #67: Commit a6d07c7 pushed by hyperpolymath
1h 1m 54s main
main
1h 1m 54s
chore: update mirror workflow for multi-forge sync CodeQL Security Analysis #66: Commit 12f60e8 pushed by hyperpolymath
11m 19s main
main
11m 19s
chore: update mirror workflow for multi-forge sync CodeQL Security Analysis #65: Commit 052e79f pushed by hyperpolymath
40s main
main
40s
Claude/add academic proofs mg s2z (#32) CodeQL Security Analysis #64: Commit b056a1f pushed by hyperpolymath
26s main
main
26s
Claude/add academic proofs mg s2z CodeQL Security Analysis #63: Pull request #32 synchronize by hyperpolymath
18s claude/add-academic-proofs-MgS2z
claude/add-academic-proofs-MgS2z
18s
Claude/add academic proofs mg s2z (#31) CodeQL Security Analysis #62: Commit 97d374d pushed by hyperpolymath
18s main
main
18s
Claude/add academic proofs mg s2z CodeQL Security Analysis #61: Pull request #31 synchronize by hyperpolymath
19s claude/add-academic-proofs-MgS2z
claude/add-academic-proofs-MgS2z
19s
Claude/add academic proofs mg s2z (#30) CodeQL Security Analysis #60: Commit fed38f9 pushed by hyperpolymath
26s main
main
26s
Claude/add academic proofs mg s2z CodeQL Security Analysis #59: Pull request #30 synchronize by hyperpolymath
19s claude/add-academic-proofs-MgS2z
claude/add-academic-proofs-MgS2z
19s
Claude/add academic proofs mg s2z (#29) CodeQL Security Analysis #58: Commit 57a59d6 pushed by hyperpolymath
27s main
main
27s
Claude/add academic proofs mg s2z CodeQL Security Analysis #57: Pull request #29 synchronize by hyperpolymath
25s claude/add-academic-proofs-MgS2z
claude/add-academic-proofs-MgS2z
25s
Claude/add academic proofs mg s2z (#28) CodeQL Security Analysis #56: Commit abac6fb pushed by hyperpolymath
20s main
main
20s
Claude/add academic proofs mg s2z CodeQL Security Analysis #55: Pull request #28 synchronize by hyperpolymath
19s claude/add-academic-proofs-MgS2z
claude/add-academic-proofs-MgS2z
19s
Claude/add academic proofs mg s2z (#27) CodeQL Security Analysis #54: Commit c207941 pushed by hyperpolymath
23s main
main
23s
Claude/add academic proofs mg s2z CodeQL Security Analysis #53: Pull request #27 opened by hyperpolymath
23s claude/add-academic-proofs-MgS2z
claude/add-academic-proofs-MgS2z
23s
Add comprehensive academic proofs and formal verification (#26) CodeQL Security Analysis #52: Commit 37b4691 pushed by hyperpolymath
18s main
main
18s
Add comprehensive academic proofs and formal verification CodeQL Security Analysis #51: Pull request #26 opened by hyperpolymath
30s claude/add-academic-proofs-MgS2z
claude/add-academic-proofs-MgS2z
30s