Skip to content

Actions: hyperpolymath/idrisiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
28 workflow runs
28 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
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… CodeQL Security Analysis #28: Commit b022136 pushed by hyperpolymath
1h 40m 53s main
main
1h 40m 53s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #27: Commit e3bfdc8 pushed by hyperpolymath
41m 53s main
main
41m 53s
CodeQL Security Analysis CodeQL Security Analysis #26: Scheduled
56s main
main
56s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #25: Commit 7bea074 pushed by hyperpolymath
5h 43m 48s main
main
5h 43m 48s
chore: add eclexiaiser-validate job to dogfood gate CodeQL Security Analysis #24: Commit e17c837 pushed by hyperpolymath
4h 32m 36s main
main
4h 32m 36s
chore: add eclexiaiser.toml energy-cost manifest CodeQL Security Analysis #23: Commit 8969275 pushed by hyperpolymath
3h 31m 23s main
main
3h 31m 23s
chore: add k9iser.toml (Batch 2B) CodeQL Security Analysis #22: Commit 42a5965 pushed by hyperpolymath
2h 21m 59s main
main
2h 21m 59s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks CodeQL Security Analysis #21: Commit ada21d7 pushed by hyperpolymath
1h 7m 48s main
main
1h 7m 48s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #20: Pull request #1 opened by hyperpolymath
35s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
35s
Add casket pages workflow CodeQL Security Analysis #19: Commit eeb5fd1 pushed by hyperpolymath
29m 14s main
main
29m 14s
CodeQL Security Analysis CodeQL Security Analysis #18: Scheduled
41s main
main
41s
feat: add stapeln.toml layer-based container definition\n\nConverted … CodeQL Security Analysis #17: Commit 3c6a320 pushed by hyperpolymath
1h 37m 22s main
main
1h 37m 22s
chore: add UX infrastructure (quickstart, doctor, setup) CodeQL Security Analysis #16: Commit 01d46b2 pushed by hyperpolymath
50m 54s main
main
50m 54s
chore: add Stapeln selur-compose.toml service definition CodeQL Security Analysis #15: Commit 3ac1028 pushed by hyperpolymath
1h 15m 41s main
main
1h 15m 41s
chore: add agent_instructions methodology layer CodeQL Security Analysis #14: Commit 8c2ccd5 pushed by hyperpolymath
43m 26s main
main
43m 26s
chore: fix, Rust, lint/fmt, issues CodeQL Security Analysis #13: Commit 892b4e6 pushed by hyperpolymath
15m 2s main
main
15m 2s
CodeQL Security Analysis CodeQL Security Analysis #12: Scheduled
51s main
main
51s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #11: Commit 8126546 pushed by hyperpolymath
19m 31s main
main
19m 31s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… CodeQL Security Analysis #10: Commit 0b3549c pushed by hyperpolymath
6m 5s main
main
6m 5s
fix: rename .github/README.adoc to DIRECTORY.adoc CodeQL Security Analysis #9: Commit 0f8041e pushed by hyperpolymath
3m 3s main
main
3m 3s
fix: use license-file for crates.io compatibility CodeQL Security Analysis #8: Commit 97c34c7 pushed by hyperpolymath
37s main
main
37s
chore(rsr): compliance sweep — STATE, contractiles, CHANGELOG, Justfile CodeQL Security Analysis #7: Commit 4335d1e pushed by hyperpolymath
41s main
main
41s
test: comprehensive test suite — point-to-point, end-to-end, edge cas… CodeQL Security Analysis #6: Commit db2c6d1 pushed by hyperpolymath
33s main
main
33s
feat: idrisiser Phase 1 — interface parser, Idris2 codegen, Zig bridg… CodeQL Security Analysis #5: Commit 9174471 pushed by hyperpolymath
38s main
main
38s
docs: bespoke documentation for idrisiser meta-prover CodeQL Security Analysis #4: Commit e47d128 pushed by hyperpolymath
37s main
main
37s