Skip to content

Actions: hyperpolymath/maa-framework

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
127 workflow runs
127 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
docs: substantive CRG C annotation (EXPLAINME.adoc) Instant Sync #102: Commit 9917a32 pushed by hyperpolymath
27m 27s main
main
27m 27s
docs(test): achieve CRG C — document all test categories passing Instant Sync #101: Commit b0fa5f1 pushed by hyperpolymath
10s main
main
10s
chore: update STATE.a2ml with CRG C compliance achievement Instant Sync #100: Commit 1219f0a pushed by hyperpolymath
16s main
main
16s
feat: add comprehensive test suite to achieve CRG C compliance Instant Sync #99: Commit fc5e8bf pushed by hyperpolymath
6s main
main
6s
Add casket pages workflow Instant Sync #98: Commit 0881573 pushed by hyperpolymath
39m 49s main
main
39m 49s
ci: add E2E + aspect + bench + panic-attack workflow for absolute-zero Instant Sync #97: Commit 69ba44a pushed by hyperpolymath
7s main
main
7s
feat: add benchmarks, unit tests, E2E and aspect tests for absolute-zero Instant Sync #96: Commit 77af9b9 pushed by hyperpolymath
7s main
main
7s
fix: remove eval, quote vars, use mktemp in absolute-zero shell scripts Instant Sync #95: Commit 250311f pushed by hyperpolymath
7s main
main
7s
Remove template-only ABI files that falsely implied formal verification Instant Sync #94: Commit 3c1744f pushed by hyperpolymath
12m 21s main
main
12m 21s
feat: add stapeln.toml container definition Instant Sync #93: Commit abc3938 pushed by hyperpolymath
19m 52s main
main
19m 52s
fix: eliminate all 3 sorry in LambdaCNO proofs Instant Sync #92: Commit 29259c0 pushed by hyperpolymath
2m 49s main
main
2m 49s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… Instant Sync #91: Commit 66f71b3 pushed by hyperpolymath
26m 24s main
main
26m 24s
chore: add UX infrastructure (quickstart, doctor, setup) Instant Sync #90: Commit c87e331 pushed by hyperpolymath
51m 7s main
main
51m 7s
chore: add agent_instructions methodology layer Instant Sync #89: Commit 452e3e0 pushed by hyperpolymath
47m 2s main
main
47m 2s
chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, … Instant Sync #88: Commit b5b882c pushed by hyperpolymath
20m 22s main
main
20m 22s
docs: add EXPLAINME.adoc — prove-it file backing README claims Instant Sync #87: Commit 58e6ffc pushed by hyperpolymath
6s main
main
6s
build(deps): bump trufflesecurity/trufflehog from 3.93.8 to 3.94.0 Instant Sync #86: Commit 8cc5a78 pushed by hyperpolymath
9s main
main
9s
build(deps): bump github/codeql-action from 4.33.0 to 4.34.0 Instant Sync #85: Commit b4cfa8c pushed by hyperpolymath
9s main
main
9s
build(deps): bump actions/checkout from 4 to 6 Instant Sync #84: Commit 0456db0 pushed by hyperpolymath
7s main
main
7s
chore(ci): maximize ci/cd values via dependabot and permissions Instant Sync #83: Commit 320942e pushed by hyperpolymath
12m 10s main
main
12m 10s
build(deps): bump github/codeql-action from 4.32.6 to 4.33.0 Instant Sync #82: Commit e4547e2 pushed by hyperpolymath
19s main
main
19s
build(deps): bump erlef/setup-beam from 1.22.0 to 1.23.0 Instant Sync #81: Commit f1c26e2 pushed by hyperpolymath
10s main
main
10s
feat: add CLADE.a2ml — clade taxonomy declaration Instant Sync #80: Commit 49f2363 pushed by hyperpolymath
1h 55m 34s main
main
1h 55m 34s
chore: restructure nested 6a2ml files into .machine_readable/6a2/ Instant Sync #79: Commit 7eb5b3b pushed by hyperpolymath
42m 5s main
main
42m 5s
ci: migrate CodeQL Action v3 → v4 Instant Sync #78: Commit a9ca308 pushed by hyperpolymath
8h 51m 52s main
main
8h 51m 52s