Skip to content

Actions: hyperpolymath/krl

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
59 workflow runs
59 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: retire local issue/discussion templates -> inherit org .github… Instant Sync #59: Commit 0844f7b pushed by hyperpolymath
48m 50s main
main
48m 50s
docs(scope): wire KnotTheory.jl + nextgen-typing into sibling-concern… Instant Sync #58: Commit 661622d pushed by hyperpolymath
8s main
main
8s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Instant Sync #57: Commit 1ecbf12 pushed by hyperpolymath
3m 0s main
main
3m 0s
docs(scope): mark VerisimCore placement resolved in scope table Instant Sync #56: Commit 7fda2f5 pushed by hyperpolymath
11s main
main
11s
docs(affirmation): krl AFFIRMATION (real gate run) + scoped scope table Instant Sync #55: Commit 79fd29c pushed by hyperpolymath
9s main
main
9s
docs(krl): ground KRL identity + 5-role stack per canonical spec Instant Sync #54: Commit c8874ee pushed by hyperpolymath
12s main
main
12s
docs: standardize contact/attribution email to j.d.a.jewell@open.ac.u… Instant Sync #53: Commit 8c1796c pushed by hyperpolymath
3m 39s main
main
3m 39s
docs(governance): fill required-file placeholders + fix project naming Instant Sync #52: Commit 7e3947f pushed by hyperpolymath
30s main
main
30s
ci: set CodeQL language matrix to actions (no JS/TS source in repo) Instant Sync #51: Commit c598574 pushed by hyperpolymath
9s main
main
9s
chore: preserve in-progress KRL Agda proofs (Properties -> GeneratorI… Instant Sync #50: Commit 02a5851 pushed by hyperpolymath
9s main
main
9s
fix: invalid // comment headers break YAML/just parsing (use #) (#30) Instant Sync #49: Commit e42eeaf pushed by hyperpolymath
14s main
main
14s
Merge pull request #29 from hyperpolymath/claude/safedom-res-stale-sweep Instant Sync #48: Commit 9ad1dec pushed by hyperpolymath
1m 15s main
main
1m 15s
docs: home the KRL architecture map in the krl repo (fixes README 404… Instant Sync #47: Commit 76c960d pushed by hyperpolymath
21s main
main
21s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … Instant Sync #46: Commit 32bc74a pushed by hyperpolymath
8m 36s main
main
8m 36s
docs(state): replace rsr-template-repo residue + bump last-updated (#27) Instant Sync #45: Commit 2055da9 pushed by hyperpolymath
8m 43s main
main
8m 43s
test(kr-7): generator-index must be positive (no sigma 0, no negati… Instant Sync #44: Commit ac390d1 pushed by hyperpolymath
1m 4s main
main
1m 4s
docs(proof): replace template-content proofs with KRL-specific narrat… Instant Sync #43: Commit 5759584 pushed by hyperpolymath
17s main
main
17s
chore(ci): remove JS/TS-only CodeQL + Rust-CI wrapper for non-existen… Instant Sync #42: Commit 7948915 pushed by hyperpolymath
41s main
main
41s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#21) Instant Sync #41: Commit 4a21139 pushed by hyperpolymath
13h 48m 59s main
main
13h 48m 59s
fix(ci): replace fake action SHA pins in e2e.yml template stubs (#20) Instant Sync #40: Commit 4db81a7 pushed by hyperpolymath
5m 13s main
main
5m 13s
ci(hypatia-scan): repin reusable to merge-commit SHA (#19) Instant Sync #39: Commit 1058e1b pushed by hyperpolymath
5h 19m 35s main
main
5h 19m 35s
chore(ci): replace secret-scanner.yml with reusable wrapper (#17) Instant Sync #38: Commit 68c3494 pushed by hyperpolymath
5h 17m 6s main
main
5h 17m 6s
docs: record tech-debt audit findings (2026-05-26) (#15) Instant Sync #37: Commit deb397b pushed by hyperpolymath
5h 6m 10s main
main
5h 6m 10s
chore(fixtures): delete stale SafeDOMExample.res ReScript fixture (Re… Instant Sync #36: Commit f53636f pushed by hyperpolymath
4h 58m 58s main
main
4h 58m 58s
chore(ci): replace scorecard.yml with reusable wrapper (#18) Instant Sync #35: Commit ddc00c5 pushed by hyperpolymath
3h 47m 24s main
main
3h 47m 24s