Skip to content

Actions: hyperpolymath/mylangiser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
73 workflow runs
73 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
fix(clade): correct identity uuid (deterministic v5) (#43) BoJ Server Build Trigger #73: Commit 6a62547 pushed by hyperpolymath
5m 35s main
main
5m 35s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… BoJ Server Build Trigger #72: Commit 083f07d pushed by hyperpolymath
15s main
main
15s
ABI Layer 5: end-to-end soundness capstone certificate (#41) BoJ Server Build Trigger #71: Commit 3ba5465 pushed by hyperpolymath
8s main
main
8s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #70: Commit 3be9030 pushed by hyperpolymath
7s main
main
7s
ABI Layer 3: transitivity of multi-step disclosure reachability (#39) BoJ Server Build Trigger #69: Commit 8527ead pushed by hyperpolymath
2m 24s main
main
2m 24s
abi: prove progressive-disclosure monotonicity (Layer 2 Semantics) (#38) BoJ Server Build Trigger #68: Commit de44afa pushed by hyperpolymath
23s main
main
23s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#37) BoJ Server Build Trigger #67: Commit 593ab3a pushed by hyperpolymath
1h 25m 44s main
main
1h 25m 44s
ci: add ABI↔FFI conformance gate (#36) BoJ Server Build Trigger #66: Commit 467b316 pushed by hyperpolymath
1m 26s main
main
1m 26s
Auto-install pinned Zig toolchain in setup + devcontainer (#35) BoJ Server Build Trigger #65: Commit 92a6172 pushed by hyperpolymath
4m 31s main
main
4m 31s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… BoJ Server Build Trigger #64: Commit 376563e pushed by hyperpolymath
1m 23s main
main
1m 23s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#33) BoJ Server Build Trigger #63: Commit 7a34ba1 pushed by hyperpolymath
1m 13s main
main
1m 13s
chore(clade): backfill [status] lifecycle block (default active) (#31) BoJ Server Build Trigger #62: Commit 9abeae4 pushed by hyperpolymath
18h 50m 31s main
main
18h 50m 31s
chore(ci): add dormant push-email notification workflow (#32) BoJ Server Build Trigger #61: Commit 491a4d4 pushed by hyperpolymath
18h 50m 34s main
main
18h 50m 34s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#30) BoJ Server Build Trigger #60: Commit 7821369 pushed by hyperpolymath
18h 47m 24s main
main
18h 47m 24s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#29) BoJ Server Build Trigger #59: Commit f28ae1e pushed by hyperpolymath
3h 55m 55s main
main
3h 55m 55s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#28) BoJ Server Build Trigger #58: Commit 28c2092 pushed by hyperpolymath
33m 57s main
main
33m 57s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #57: Commit f814180 pushed by hyperpolymath
59m 6s main
main
59m 6s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… BoJ Server Build Trigger #56: Commit fb12781 pushed by hyperpolymath
20m 33s main
main
20m 33s
chore: add root Mustfile (RSR-mandatory checks contract) (#27) BoJ Server Build Trigger #55: Commit 72388cf pushed by hyperpolymath
1m 14s main
main
1m 14s
docs(state): 6a2 checkpoint — refresh STATE/META, reconcile version/m… BoJ Server Build Trigger #54: Commit a2e720e pushed by hyperpolymath
9s main
main
9s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … BoJ Server Build Trigger #53: Commit ef602b1 pushed by hyperpolymath
7m 46s main
main
7m 46s
chore(deps): apply estate dependabot policy — ignore semver-major (st… BoJ Server Build Trigger #52: Commit feea9ec pushed by hyperpolymath
14h 36m 37s main
main
14h 36m 37s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#23) BoJ Server Build Trigger #51: Commit 255f590 pushed by hyperpolymath
13h 33m 32s main
main
13h 33m 32s
ci(hypatia-scan): repin reusable to merge-commit SHA (#21) BoJ Server Build Trigger #50: Commit 6b04b1e pushed by hyperpolymath
9s main
main
9s
chore(ci): replace secret-scanner.yml with reusable wrapper (#20) BoJ Server Build Trigger #49: Commit 49c53c6 pushed by hyperpolymath
7s main
main
7s