Skip to content

Actions: almide/als

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
97 workflow runs
97 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
conformance conformance #2: Scheduled
6m 55s main
main
6m 55s
fan_race_mapper gains the @ref-allow mirror of its rung-floor @xt-all… gates #95: Commit 4cdf720 pushed by O6lvl4
3m 53s main
main
3m 53s
ref-allow hygiene: fan_race_mapper's rung-floor mirror added, three stale ±0 directives removed gates #94: Pull request #58 opened by O6lvl4
6m 58s ref-allow-hygiene
ref-allow-hygiene
6m 58s
The bounded fixtures' unused loop binders take the underscore spellin… gates #93: Commit 7fc01e6 pushed by O6lvl4
1m 49s main
main
1m 49s
Bounded fixtures: unused loop binders to _i (warning-zero) gates #92: Pull request #57 opened by O6lvl4
1m 50s fixture-warning-zero
fixture-warning-zero
1m 50s
The three bounded fixtures take the formatter's canonical shape (almi… gates #91: Commit 373ae3c pushed by O6lvl4
1m 51s main
main
1m 51s
The bounded fixtures take fmt-canonical shape (mirror byte-identity with the implementation) gates #90: Pull request #56 opened by O6lvl4
1m 49s fmt-canon
fmt-canon
1m 49s
All 128 ALS sections carry validation rows: the four-agent adversaria… gates #89: Commit ac7833d pushed by O6lvl4
1m 44s main
main
1m 44s
R1 section-review completion: all 128 sections validated, the ledger's structural corruption repaired and gated, 36 prose amendments to measurement gates #88: Pull request #55 opened by O6lvl4
1m 12s r1-review
r1-review
1m 12s
ref-abstain ledger re-measured after the integer-loop tier: 1 to 0 — … gates #87: Commit 6d1d8d5 pushed by O6lvl4
1m 50s main
main
1m 50s
The reference evaluator reaches totality: 611/611 programs, abstains 52 to ZERO gates #86: Pull request #54 synchronize by O6lvl4
1m 48s ref-fan
ref-fan
1m 48s
ref-abstain ledger re-measured after the Codec bridge: 89 to 74, sema… gates #85: Commit d8fe2ed pushed by O6lvl4
1m 0s main
main
1m 0s
The reference evaluator reaches totality: 611/611 programs, abstains 52 to ZERO gates #84: Pull request #54 synchronize by O6lvl4
1m 50s ref-fan
ref-fan
1m 50s
The reference evaluator reaches totality: 611/611 programs, abstains 52 to ZERO gates #83: Pull request #54 synchronize by O6lvl4
1m 30s ref-fan
ref-fan
1m 30s
The reference evaluator reaches totality: 611/611 programs, abstains 52 to ZERO gates #82: Pull request #54 synchronize by O6lvl4
1m 34s ref-fan
ref-fan
1m 34s
The reference evaluator reaches totality: 611/611 programs, abstains 52 to ZERO gates #81: Pull request #54 opened by O6lvl4
2m 16s ref-fan
ref-fan
2m 16s
Four evaluator arcs: matrix core, ALS-T25 fast-exp, ALS-T9 to_fixed domain, ALS-M15 carrier (abstains 74 to 52) gates #80: Pull request #53 synchronize by O6lvl4
1m 23s ref-matrix
ref-matrix
1m 23s
Four evaluator arcs: matrix core, ALS-T25 fast-exp, ALS-T9 to_fixed domain, ALS-M15 carrier (abstains 74 to 52) gates #79: Pull request #53 synchronize by O6lvl4
1m 25s ref-matrix
ref-matrix
1m 25s
Four evaluator arcs: matrix core, ALS-T25 fast-exp, ALS-T9 to_fixed domain, ALS-M15 carrier (abstains 74 to 52) gates #78: Pull request #53 synchronize by O6lvl4
1m 21s ref-matrix
ref-matrix
1m 21s
Four evaluator arcs: matrix core, ALS-T25 fast-exp, ALS-T9 to_fixed domain, ALS-M15 carrier (abstains 74 to 52) gates #77: Pull request #53 opened by O6lvl4
1m 20s ref-matrix
ref-matrix
1m 20s
ALS-D6 derived Codec pinned and implemented in the reference evaluator (abstains 89 to 74) gates #76: Pull request #52 opened by O6lvl4
1m 7s ref-codec
ref-codec
1m 7s
ref-abstain ledger re-measured for the C-320 fixture (88 to 89, fan.b… gates #75: Commit b6f5b73 pushed by O6lvl4
1m 13s main
main
1m 13s
C-320: a budget cut performs exit bookkeeping — exhausted is always Err, regions independent, placement unobservable (ALS-DT2) gates #74: Pull request #50 opened by O6lvl4
1m 26s c320-budget-cut-bookkeeping
c320-budget-cut-bookkeeping
1m 26s
C-129 evidence: take and drop value domain, negative asymmetry pinned gates #73: Pull request #49 opened by O6lvl4
1m 18s take-value-pin
take-value-pin
1m 18s
conformance conformance #1: Scheduled
6m 52s main
main
6m 52s