Skip to content

Actions: hyperpolymath/wokelang

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quality.yml
126 workflow runs
126 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… Code Quality #126: Commit 9efcf6e pushed by hyperpolymath
26s main
main
26s
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) Code Quality #125: Commit a9e13b0 pushed by hyperpolymath
15m 35s main
main
15m 35s
chore(contractiles): add bust/ + relocate k9 to svc/ Code Quality #124: Commit 55cb461 pushed by hyperpolymath
28s main
main
28s
chore: checkpoint local changes Code Quality #123: Commit 2c29ede pushed by hyperpolymath
3h 47m 12s main
main
3h 47m 12s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… Code Quality #122: Commit be29620 pushed by hyperpolymath
2h 4m 47s main
main
2h 4m 47s
chore: estate-wide chore + stale-path sweep (2026-04-17) Code Quality #121: Commit c0d4593 pushed by hyperpolymath
1h 43m 25s main
main
1h 43m 25s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Code Quality #120: Commit 70b4394 pushed by hyperpolymath
1h 14m 29s main
main
1h 14m 29s
Feat/e2e validation tests (#47) Code Quality #119: Commit bb73c46 pushed by hyperpolymath
53s main
main
53s
Feat/e2e validation tests Code Quality #118: Pull request #47 synchronize by hyperpolymath
1m 41s feat/e2e-validation-tests
feat/e2e-validation-tests
1m 41s
Feat/e2e validation tests Code Quality #117: Pull request #47 opened by hyperpolymath
22s feat/e2e-validation-tests
feat/e2e-validation-tests
22s
Merge branch 'main' into feat/e2e-validation-tests Code Quality #116: Commit 8011b94 pushed by hyperpolymath
23s feat/e2e-validation-tests
feat/e2e-validation-tests
23s
chore: add mandatory SPDX header and sync Code Quality #115: Commit 3b78fb8 pushed by hyperpolymath
1h 18m 13s main
main
1h 18m 13s
chore: merge remote changes from origin/main Code Quality #114: Commit bec97b9 pushed by hyperpolymath
21m 56s main
main
21m 56s
chore(deps): bump rand from 0.9.2 to 0.9.4 in the cargo group across … Code Quality #113: Commit 58eebc5 pushed by hyperpolymath
9m 55s main
main
9m 55s
chore(deps): bump rand from 0.9.2 to 0.9.4 in the cargo group across 1 directory Code Quality #112: Pull request #46 opened by dependabot Bot
4m 15s dependabot/cargo/cargo-2cb957d483
dependabot/cargo/cargo-2cb957d483
4m 15s
chore(deps): bump rand in the cargo group across 1 directory Code Quality #111: Commit 43ab81b pushed by dependabot Bot
1m 4s dependabot/cargo/cargo-2cb957d483
dependabot/cargo/cargo-2cb957d483
1m 4s
chore: add opsm.toml manifest for OPSM integration Code Quality #110: Commit 9a65d62 pushed by hyperpolymath
1m 50s main
main
1m 50s
feat(proofs): mechanise λ_consent Progress, Preservation, Non-Evasion… Code Quality #109: Commit b93e544 pushed by hyperpolymath
5m 42s main
main
5m 42s
refactor(WokeLang): prove value_eq_dec constructively via decide equa… Code Quality #108: Commit 66fe1a4 pushed by hyperpolymath
1m 57s main
main
1m 57s
merge: integrate layer1-local-work — AST visitor, specs, conformance,… Code Quality #107: Commit b52742a pushed by hyperpolymath
1m 19s main
main
1m 19s
ci(e2e): wire just e2e recipe to existing tests/e2e.sh Code Quality #106: Commit 092ce05 pushed by hyperpolymath
16s main
main
16s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Code Quality #105: Commit 3fd64cd pushed by hyperpolymath
1h 35m 8s main
main
1h 35m 8s
fix(security): remove eval from conformance runner script Code Quality #104: Commit 75c1e2a pushed by hyperpolymath
21s feat/e2e-validation-tests
feat/e2e-validation-tests
21s
test: add E2E structural validation tests and CI workflow for wokelang Code Quality #103: Commit 2b336ea pushed by hyperpolymath
19s feat/e2e-validation-tests
feat/e2e-validation-tests
19s
feat(crg): add crg-grade and crg-badge justfile recipes Code Quality #102: Commit 6c9a0b2 pushed by hyperpolymath
6h 28m 38s main
main
6h 28m 38s