Skip to content

Actions: hyperpolymath/wokelang

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
125 workflow runs
125 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
feat(stapeln): add selur-compose.toml + fix SPDX header in svc/README… Mirror to Git Forges #125: Commit 9efcf6e pushed by hyperpolymath
3m 27s main
main
3m 27s
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) Mirror to Git Forges #124: Commit a9e13b0 pushed by hyperpolymath
18m 3s main
main
18m 3s
chore(contractiles): add bust/ + relocate k9 to svc/ Mirror to Git Forges #123: Commit 55cb461 pushed by hyperpolymath
4m 0s main
main
4m 0s
chore: checkpoint local changes Mirror to Git Forges #122: Commit 2c29ede pushed by hyperpolymath
3h 47m 9s main
main
3h 47m 9s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… Mirror to Git Forges #121: Commit be29620 pushed by hyperpolymath
2h 3m 10s main
main
2h 3m 10s
chore: estate-wide chore + stale-path sweep (2026-04-17) Mirror to Git Forges #120: Commit c0d4593 pushed by hyperpolymath
1h 46m 42s main
main
1h 46m 42s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Mirror to Git Forges #119: Commit 70b4394 pushed by hyperpolymath
1h 19m 53s main
main
1h 19m 53s
Feat/e2e validation tests (#47) Mirror to Git Forges #118: Commit bb73c46 pushed by hyperpolymath
3m 38s main
main
3m 38s
chore: add mandatory SPDX header and sync Mirror to Git Forges #117: Commit 3b78fb8 pushed by hyperpolymath
1h 19m 29s main
main
1h 19m 29s
chore: merge remote changes from origin/main Mirror to Git Forges #116: Commit bec97b9 pushed by hyperpolymath
24m 19s main
main
24m 19s
chore(deps): bump rand from 0.9.2 to 0.9.4 in the cargo group across … Mirror to Git Forges #115: Commit 58eebc5 pushed by hyperpolymath
12m 4s main
main
12m 4s
chore: add opsm.toml manifest for OPSM integration Mirror to Git Forges #114: Commit 9a65d62 pushed by hyperpolymath
3m 52s main
main
3m 52s
feat(proofs): mechanise λ_consent Progress, Preservation, Non-Evasion… Mirror to Git Forges #113: Commit b93e544 pushed by hyperpolymath
9m 21s main
main
9m 21s
refactor(WokeLang): prove value_eq_dec constructively via decide equa… Mirror to Git Forges #112: Commit 66fe1a4 pushed by hyperpolymath
4m 43s main
main
4m 43s
merge: integrate layer1-local-work — AST visitor, specs, conformance,… Mirror to Git Forges #111: Commit b52742a pushed by hyperpolymath
4m 48s main
main
4m 48s
ci(e2e): wire just e2e recipe to existing tests/e2e.sh Mirror to Git Forges #110: Commit 092ce05 pushed by hyperpolymath
3m 6s main
main
3m 6s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Mirror to Git Forges #109: Commit 3fd64cd pushed by hyperpolymath
1h 37m 6s main
main
1h 37m 6s
feat(crg): add crg-grade and crg-badge justfile recipes Mirror to Git Forges #108: Commit 6c9a0b2 pushed by hyperpolymath
6h 32m 44s main
main
6h 32m 44s
ci: add E2E validation tests (38 structural checks) Mirror to Git Forges #107: Commit a957b27 pushed by hyperpolymath
5h 11m 46s main
main
5h 11m 46s
chore: add eclexiaiser-validate job to dogfood gate Mirror to Git Forges #106: Commit d148f73 pushed by hyperpolymath
5h 2m 45s main
main
5h 2m 45s
docs: add M2 estate audit report (2026-04-04) Mirror to Git Forges #105: Commit 350da11 pushed by hyperpolymath
4h 5m 45s main
main
4h 5m 45s
chore: add eclexiaiser.toml energy-cost manifest Mirror to Git Forges #104: Commit 60c51a5 pushed by hyperpolymath
3h 54m 32s main
main
3h 54m 32s
chore: add k9iser.toml (Batch 2B) Mirror to Git Forges #103: Commit e9506b9 pushed by hyperpolymath
2h 36m 18s main
main
2h 36m 18s
feat: implement send/receive/await/cancel concurrency primitives Mirror to Git Forges #102: Commit 84110c3 pushed by hyperpolymath
2h 29m 3s main
main
2h 29m 3s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks Mirror to Git Forges #101: Commit 643c53d pushed by hyperpolymath
1h 37m 35s main
main
1h 37m 35s