Skip to content

Actions: hyperpolymath/standards

Actions

Language Policy Enforcement

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
language-policy.yml
269 workflow runs
269 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(policy): recognise Agda + echo-types as canonical loss-with-res… Language Policy Enforcement #269: Commit dfcf4a0 pushed by hyperpolymath
18s main
main
18s
chore(policy): recognise Agda + echo-types as canonical loss-with-residue formalism Language Policy Enforcement #268: Pull request #36 synchronize by hyperpolymath
18s chore/recognise-agda-and-echo-types
chore/recognise-agda-and-echo-types
18s
ci(hypatia): fix workflow floor (upload-artifact SHA + setup-beam v1.… Language Policy Enforcement #267: Commit 57ed630 pushed by hyperpolymath
18s main
main
18s
ci(hypatia): fix workflow floor (upload-artifact SHA + setup-beam v1.24.0 + env.HOME) Language Policy Enforcement #266: Pull request #37 opened by hyperpolymath
13s ci/hypatia-workflow-floor-fixes
ci/hypatia-workflow-floor-fixes
13s
chore(policy): recognise Agda + echo-types as canonical loss-with-residue formalism Language Policy Enforcement #265: Pull request #36 synchronize by hyperpolymath
14s chore/recognise-agda-and-echo-types
chore/recognise-agda-and-echo-types
14s
chore: migrate language policy from ReScript to AffineScript estate-w… Language Policy Enforcement #264: Commit 7f3681a pushed by hyperpolymath
17s main
main
17s
chore: migrate language policy from ReScript to AffineScript estate-wide Language Policy Enforcement #263: Pull request #35 synchronize by hyperpolymath
15s chore/rescript-to-affinescript-sweep
chore/rescript-to-affinescript-sweep
15s
chore(meta+grades): fix .scm/.a2ml + .md/.adoc + 17/4 workflow-count … Language Policy Enforcement #262: Commit e87a048 pushed by hyperpolymath
16s main
main
16s
chore: migrate language policy from ReScript to AffineScript estate-wide Language Policy Enforcement #261: Pull request #35 opened by hyperpolymath
26s chore/rescript-to-affinescript-sweep
chore/rescript-to-affinescript-sweep
26s
chore(hypatia-rules): use AffineScript not ReScript in @forbidden_files reason Language Policy Enforcement #260: Pull request #34 opened by hyperpolymath
19s chore/rsr-rule-rescript-to-affinescript
chore/rsr-rule-rescript-to-affinescript
19s
chore(meta+grades): fix .scm/.a2ml + .md/.adoc + 17/4 workflow-count drift Language Policy Enforcement #259: Pull request #33 opened by hyperpolymath
17s chore/required-files-a2ml-extension
chore/required-files-a2ml-extension
17s
chore(deps): bump rustls-webpki from 0.103.12 to 0.103.13 in /rhodium… Language Policy Enforcement #258: Commit a3a13c9 pushed by hyperpolymath
1h 2m 39s main
main
1h 2m 39s
chore(ci): update codeql-action SHA to v3.35.2 Language Policy Enforcement #257: Commit d06e732 pushed by hyperpolymath
29s main
main
29s
docs(requirements): replace polystack with boj-server in ABI requirem… Language Policy Enforcement #256: Commit 0a6aae2 pushed by hyperpolymath
1m 33s main
main
1m 33s
chore(deps): bump rustls-webpki from 0.103.12 to 0.103.13 in /rhodium-standard-repositories/satellites/rsr-certifier in the cargo group across 1 directory Language Policy Enforcement #255: Pull request #32 opened by dependabot Bot
1m 52s dependabot/cargo/rhodium-standard-repositories/satellites/rsr-certifier/cargo-8056535635
dependabot/cargo/rhodium-standard-repositories/satellites/rsr-certifier/cargo-8056535635
1m 52s
chore(deps): bump the cargo group across 2 directories with 1 update … Language Policy Enforcement #254: Commit b791308 pushed by hyperpolymath
10s main
main
10s
chore(deps): bump the cargo group across 2 directories with 1 update Language Policy Enforcement #253: Pull request #31 opened by dependabot Bot
9s dependabot/cargo/k9-svc/tools/src/k9-init/cargo-6a8f0b96bd
dependabot/cargo/k9-svc/tools/src/k9-init/cargo-6a8f0b96bd
9s
chore: estate-wide metadata and submodule sync (2026-04-20) Language Policy Enforcement #252: Commit 32f2219 pushed by hyperpolymath
1m 15s main
main
1m 15s
Add repo-catalog-template.toml with repository details Language Policy Enforcement #251: Commit f3adf40 pushed by hyperpolymath
12s main
main
12s
docs(contractile): add ADR-001 k9→svc relocation + migration log Language Policy Enforcement #250: Commit a64608f pushed by hyperpolymath
4h 57m 54s main
main
4h 57m 54s
chore(contractiles): add bust/ + relocate k9 to svc/ Language Policy Enforcement #249: Commit b8186d0 pushed by hyperpolymath
4h 55m 10s main
main
4h 55m 10s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… Language Policy Enforcement #248: Commit 2fe8234 pushed by hyperpolymath
1h 59m 42s main
main
1h 59m 42s
Standardize workspace: Capitalize Justfile references in scripts and … Language Policy Enforcement #247: Commit f3f19e8 pushed by hyperpolymath
27m 4s main
main
27m 4s
feat(trg-cps): propose v1.1 suite expansion — 20 new entries across 1… Language Policy Enforcement #246: Commit 51c16fd pushed by hyperpolymath
9s main
main
9s
docs(security): triage log for 5 Dependabot alerts (2 closed, 3 defer… Language Policy Enforcement #245: Commit ef3c914 pushed by hyperpolymath
11s main
main
11s