Skip to content

Actions: hyperpolymath/tangle

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
bench: add Six Sigma ops benchmark (Rust) CodeQL Security Analysis #34: Commit 73699bf pushed by hyperpolymath
31s main
main
31s
feat(dialects): add virtual-knot + skein-algebra sketches — 5 DSLs on… CodeQL Security Analysis #33: Commit b50c340 pushed by hyperpolymath
41s main
main
41s
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… CodeQL Security Analysis #32: Commit 7ed2b69 pushed by hyperpolymath
1h 50m 51s main
main
1h 50m 51s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #31: Commit 96d5865 pushed by hyperpolymath
1h 46m 53s main
main
1h 46m 53s
feat(parser): extend Rust parser CodeQL Security Analysis #30: Commit ff82da9 pushed by hyperpolymath
1m 12s main
main
1m 12s
fix(perms): restore exec bit on conformance runner scripts CodeQL Security Analysis #29: Commit 3b39fb5 pushed by hyperpolymath
34s main
main
34s
Update README.adoc (#2) CodeQL Security Analysis #28: Commit 74ea72c pushed by hyperpolymath
39s main
main
39s
Update README.adoc CodeQL Security Analysis #27: Pull request #2 opened by hyperpolymath
33s hyperpolymath-patch-1
hyperpolymath-patch-1
33s
chore: automated sync of local changes CodeQL Security Analysis #26: Commit 21383d8 pushed by hyperpolymath
1m 18s main
main
1m 18s
Update README.adoc (#1) CodeQL Security Analysis #25: Commit 3198ab6 pushed by hyperpolymath
34s main
main
34s
Update README.adoc CodeQL Security Analysis #24: Pull request #1 opened by hyperpolymath
27s hyperpolymath-patch-1
hyperpolymath-patch-1
27s
CodeQL Security Analysis CodeQL Security Analysis #23: Scheduled
38s main
main
38s
feat: add dialects/ scaffolds for 3 Tangle-hosted DSLs CodeQL Security Analysis #22: Commit 8da84d6 pushed by hyperpolymath
33s main
main
33s
docs: add CHANGELOG + proof-regression workflow guide CodeQL Security Analysis #21: Commit 4337b23 pushed by hyperpolymath
1m 4s main
main
1m 4s
feat: add playground/ scaffold CodeQL Security Analysis #20: Commit a003623 pushed by hyperpolymath
1m 5s main
main
1m 5s
docs: add CRG v2 READINESS.md (grade C) CodeQL Security Analysis #19: Commit 74595f9 pushed by hyperpolymath
1m 17s main
main
1m 17s
docs: rewrite README as KRL architecture introduction + add visual map CodeQL Security Analysis #18: Commit 8acd2ae pushed by hyperpolymath
36s main
main
36s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #17: Commit afe7a37 pushed by hyperpolymath
6h 22m 8s main
main
6h 22m 8s
docs: add TOPOLOGY.md CodeQL Security Analysis #16: Commit 41068ee pushed by hyperpolymath
2h 24m 10s main
main
2h 24m 10s
ci: deploy dogfood-gate, update hypatia-scan workflow; add CRG tests CodeQL Security Analysis #15: Commit d55a474 pushed by hyperpolymath
1h 45m 30s main
main
1h 45m 30s
Remove template-only ABI files that falsely implied formal verification CodeQL Security Analysis #14: Commit 827524d pushed by hyperpolymath
17m 33s main
main
17m 33s
feat: add Lean 4 formal proofs — progress, preservation, determinism CodeQL Security Analysis #13: Commit 8ce7be7 pushed by hyperpolymath
1m 0s main
main
1m 0s
CodeQL Security Analysis CodeQL Security Analysis #12: Scheduled
45s main
main
45s
fix: apply permutation in tangle composition type checking CodeQL Security Analysis #11: Commit 182b7bf pushed by hyperpolymath
42s main
main
42s
Remove stale SONNET-TASKS.md and add to .gitignore CodeQL Security Analysis #10: Commit 4dfd5d7 pushed by hyperpolymath
27m 47s main
main
27m 47s