Skip to content

Actions: almide/als

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow runs
72 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
Provenance ledger re-measured after the since correction: retroactive… gates #72: Commit 0f11fb5 pushed by O6lvl4
1m 15s main
main
1m 15s
since re-stamped honestly: numeric rules 0.58.0 already held are retroactive; judge-ahead contracts target the 0.60 line gates #71: Pull request #48 synchronize by O6lvl4
1m 25s since-honest-0.58-0.60
since-honest-0.58-0.60
1m 25s
Abstain ledger 198 to 88 over 610 programs (522 evaluated, 518 agree,… gates #70: Commit 9a2b95b pushed by O6lvl4
1m 28s main
main
1m 28s
Reference evaluator round 2: ledger 198 to 88, bytes reference semantics, normative json parser, vendored libm gates #69: Pull request #47 synchronize by O6lvl4
1m 18s ref-stdlib-2
ref-stdlib-2
1m 18s
since re-stamped honestly: numeric rules 0.58.0 already held are retroactive; judge-ahead contracts target the 0.60 line gates #68: Pull request #48 opened by O6lvl4
1m 24s since-honest-0.58-0.60
since-honest-0.58-0.60
1m 24s
Reference evaluator round 2: ledger 198 to 88, bytes reference semantics, normative json parser, vendored libm gates #67: Pull request #47 opened by O6lvl4
1m 20s ref-stdlib-2
ref-stdlib-2
1m 20s
Prose matches evidence (reference-evaluator findings F7-F9): ALS-T8 g… gates #66: Commit f1470d5 pushed by O6lvl4
1m 21s main
main
1m 21s
Prose matches evidence: ALS-T8 / T16 / S3 rewritten to their fixtures (reference-evaluator findings F7–F9) gates #65: Pull request #46 opened by O6lvl4
1m 21s prose-vs-evidence-f7-f9
prose-vs-evidence-f7-f9
1m 21s
Abstain ledger 434 to 198 in 73 classes over 610 programs (412 evalua… gates #64: Commit 097307c pushed by O6lvl4
1m 24s main
main
1m 24s
Reference evaluator, stdlib round 1: 217 functions from the chapters — 412/610 evaluated, 409 agree, abstains 434 to 198; exact float text; findings F7-F10 gates #63: Pull request #42 synchronize by O6lvl4
1m 31s ref-stdlib-1
ref-stdlib-1
1m 31s
Reference evaluator, stdlib round 1: 217 functions from the chapters — 412/610 evaluated, 409 agree, abstains 434 to 198; exact float text; findings F7-F10 gates #62: Pull request #42 opened by O6lvl4
1m 24s ref-stdlib-1
ref-stdlib-1
1m 24s
Independence mechanisms, ready to switch on: CODEOWNERS naming the ve… gates #61: Commit 90b2e3a pushed by O6lvl4
1m 18s main
main
1m 18s
Independence mechanisms ready to switch on: CODEOWNERS, author/verifier record, ratchet-separation gate gates #60: Pull request #41 synchronize by O6lvl4
1m 11s independence-mechanisms
independence-mechanisms
1m 11s
Independence mechanisms ready to switch on: CODEOWNERS, author/verifier record, ratchet-separation gate gates #59: Pull request #41 opened by O6lvl4
1m 19s independence-mechanisms
independence-mechanisms
1m 19s
ISSUE-TAXONOMY: epic and decision issues carry no S-* label; needs-ex… gates #58: Commit e73a782 pushed by O6lvl4
1m 13s main
main
1m 13s
ISSUE-TAXONOMY: tracking/decision issues and the needs-external / needs-resources markers gates #57: Pull request #40 opened by O6lvl4
1m 2s taxonomy-orthogonal-labels
taxonomy-orthogonal-labels
1m 2s
The ref leg: the runner's verdict becomes legs == REFERENCE where the… gates #56: Commit 32803c1 pushed by O6lvl4
1m 14s main
main
1m 14s
The ref leg: conformance verdict becomes legs == REFERENCE where the evaluator judges (TOR-8); 30 selftest scenarios incl. the co-drift class gates #55: Pull request #39 synchronize by O6lvl4
1m 6s ref-leg
ref-leg
1m 6s
The ref leg: conformance verdict becomes legs == REFERENCE where the evaluator judges (TOR-8); 30 selftest scenarios incl. the co-drift class gates #54: Pull request #39 opened by O6lvl4
1m 1s ref-leg
ref-leg
1m 1s
ref-abstain ledger re-measured for the C-319 fixture (totality-or-abs… gates #53: Commit 07ebc7a pushed by O6lvl4
1m 10s main
main
1m 10s
C-319: port the incumbent's shared-cell capture contract — its copy minted a colliding C-302 gates #52: Pull request #38 synchronize by O6lvl4
1m 8s c319-shared-cell-port
c319-shared-cell-port
1m 8s
C-319: port the incumbent's shared-cell capture contract — its copy minted a colliding C-302 gates #51: Pull request #38 synchronize by O6lvl4
1m 11s c319-shared-cell-port
c319-shared-cell-port
1m 11s
Abstain ledger re-measured after the rebase onto the ADR-0016 numeric… gates #50: Commit ac6a36a pushed by O6lvl4
55s main
main
55s
C-319: port the incumbent's shared-cell capture contract — its copy minted a colliding C-302 gates #49: Pull request #38 opened by O6lvl4
44s c319-shared-cell-port
c319-shared-cell-port
44s
Reference evaluator (ADR-0015, Rust): als-ref with λ_almd agreement 49/49, three gates, abstain ledger 429/602, first two reference findings gates #48: Pull request #36 synchronize by O6lvl4
1m 11s ref-evaluator
ref-evaluator
1m 11s