All workflows

Showing runs from all workflows

2500+ workflow runs

docs: attribute Flash lineage and state exact assurance and exit boun…
completed successfully:
Flash closure-context source-typed adversarial separator#14:Commit32eada6pushedbyheathsanchez
research/flash-closure-context-soundness-20261102
Nov 2, 20262m 50s
docs: attribute Flash lineage and state exact assurance and exit boun…
completed successfully:
Flash combined soundness full Arena qualification#4:Commit32eada6pushedbyheathsanchez
research/flash-closure-context-soundness-20261102
Nov 2, 202629m 13s
ci: qualify current Arena and matched one two four worker costs
completed successfully:
Flash current Arena and matched resource qualification#1:Commit03fa98dpushedbyheathsanchez
research/flash-assurance-resource-matrix-20261102
Nov 2, 202648m 45s
ci(flash): rerun exact full Mathlib A/B whenever recorded source patc…
completed successfully:
Soko9a exact full Mathlib sparse-prune PGO A/B#2:Commit5e96efapushedbyheathsanchez
research/soko9a-sparse-prune-reset-20261102
Nov 1, 202612m 14s
perf(flash): exact one-worker full Mathlib PGO A/B of source-qualifie…
failed:
Soko9a exact full Mathlib sparse-prune PGO A/B#1:Commit22b3daepushedbyheathsanchez
research/soko9a-sparse-prune-reset-20261102
Nov 1, 20261m 33s
perf(flash): bounded sparse-clear memo A/B against current source and…
completed successfully:
Soko9a sparse prune reset exact A/B#1:Commit38fd173pushedbyheathsanchez
research/soko9a-sparse-prune-reset-20261102
Nov 1, 20263m 21s
test(flash): restore two source-anchored negative fixtures and unskip…
completed successfully:
Flash closure-context source-typed adversarial separator#13:Commit4411234pushedbyheathsanchez
research/flash-closure-context-soundness-20261102
Nov 1, 20263m 5s
test(flash): restore two source-anchored negative fixtures and unskip…
completed successfully:
Flash combined soundness full Arena qualification#3:Commit4411234pushedbyheathsanchez
research/flash-closure-context-soundness-20261102
Nov 1, 202624m 47s
ci(flash): fetch complete history before source-ancestor qualification
completed successfully:
Flash repaired exact Mathlib 1-vs-2 worker-cost gate#2:Commit476879fpushedbyheathsanchez
research/flash-repaired-fullmathlib-workers-20261102
Nov 1, 202615m 52s
ci(flash): match fully qualified Rust test names without false-red ha…
completed successfully:
Flash full native regression with source-pinned recovered fixtures#2:Commitdd337f2pushedbyheathsanchez
research/flash-native-adversarial-fixtures-20261102
Nov 1, 202653s
perf(flash): paired exact Mathlib one vs two workers on repaired sour…
failed:
Flash repaired exact Mathlib 1-vs-2 worker-cost gate#1:Commitb11ca79pushedbyheathsanchez
research/flash-repaired-fullmathlib-workers-20261102
Nov 1, 20261m 39s
ci(flash): independently require all native tests and recovered exact…
failed:
Flash full native regression with source-pinned recovered fixtures#1:Commitd3b1df1pushedbyheathsanchez
research/flash-native-adversarial-fixtures-20261102
Nov 1, 20261m 3s
ci(flash): fix profiler preflight that incorrectly exits 255
completed successfully:
Soko9a source-pinned Callgrind instruction cost atlas#2:Commitd8bed9epushedbyheathsanchez
research/flash-soko9a-instruction-cost-atlas-20261102
Nov 1, 20262m 14s
perf(flash): source-pin current sokonanoda guest-instruction cost atl…
failed:
Soko9a source-pinned Callgrind instruction cost atlas#1:Commit4cf75a0pushedbyheathsanchez
research/flash-soko9a-instruction-cost-atlas-20261102
Nov 1, 202657s
perf(flash): source-pin Soko full-Mathlib worker count with archived …
completed successfully:
Flash vNext Sokonanoda exact Mathlib worker-cost gate#1:Commit28b13f4pushedbyheathsanchez
research/flash-soko-fullmathlib-workers-20261102
Nov 1, 20269m 26s
test(flash): screen one two four workers on pinned current Sokonanoda…
completed successfully:
Sokonanoda 9a thread-count source-pinned screening#1:Commita86736epushedbyheathsanchez
research/flash-current-soko-comparator-20261102
Nov 1, 20261m 2s
test(flash): screen one two four workers on pinned current Sokonanoda…
completed successfully:
Flash current Sokonanoda source comparison (research)#2:Commita86736epushedbyheathsanchez
research/flash-current-soko-comparator-20261102
Nov 1, 20261m 33s
test(flash): compare exact Arena Soko head with qualified Flash on so…
completed successfully:
Flash current Sokonanoda source comparison (research)#1:Commit367f0f0pushedbyheathsanchez
research/flash-current-soko-comparator-20261102
Nov 1, 20261m 26s
ci(flash): fail-closed replay of all original byte-pinned Arena 196 c…
completed successfully:
Flash exact frozen196 independent verdict gate#1:Commitc62afc1pushedbyheathsanchez
research/flash-closure-context-soundness-20261102
Nov 1, 20261m 54s
ci(flash): fail-closed replay of all original byte-pinned Arena 196 c…
completed successfully:
Flash closure-context source-typed adversarial separator#12:Commitc62afc1pushedbyheathsanchez
research/flash-closure-context-soundness-20261102
Nov 1, 20263m 10s
ci(flash): fail-closed replay of all original byte-pinned Arena 196 c…
completed successfully:
Flash combined soundness full Arena qualification#2:Commitc62afc1pushedbyheathsanchez
research/flash-closure-context-soundness-20261102
Nov 1, 202630m 24s
ci(flash): qualify combined soundness source against pinned full Aren…
cancelled:
Flash combined soundness full Arena qualification#1:Commitaa08d24pushedbyheathsanchez
research/flash-closure-context-soundness-20261102
Nov 1, 20263m 10s
ci(flash): qualify combined soundness source against pinned full Aren…
completed successfully:
Flash closure-context source-typed adversarial separator#11:Commitaa08d24pushedbyheathsanchez
research/flash-closure-context-soundness-20261102
Nov 1, 20262m 54s
ci(flash): independently replay SHA-pinned original Init without Nix
completed successfully:
Flash genuine Init from frozen Arena corpus#1:Commit86cdf34pushedbyheathsanchez
research/flash-closure-context-soundness-20261102
Nov 1, 20261m 24s
ci(flash): independently replay SHA-pinned original Init without Nix
completed successfully:
Flash closure-context source-typed adversarial separator#10:Commit86cdf34pushedbyheathsanchez
research/flash-closure-context-soundness-20261102
Nov 1, 20263m 1s