full — recent changes
Show: all changes · only newly failing
63dd5af1f82a — 2026-09-05 02:51 UTC (full diff)
| Package | Version | Status | Change |
|---|---|---|---|
| DkZero_Base | 2.4.2.169 | success → cascade | status changed |
| DkZero_Exec | 2.4.2.169 | success → cascade | status changed |
| DkZero_RuntimeC | 2.4.2.169 | success → cascade | status changed |
| MlFront_ProgressZig | 2.4.2.169 | success → cascade | status changed |
| MlFront_Thunk | 2.4.2.169 | success → cascade | status changed |
| MlFront_ZipFile | 2.4.2.169 | success → failure | status changed |
1b3aa95bffec — 2026-09-02 20:33 UTC (full diff)
| Package | Version | Status | Change |
|---|---|---|---|
| catala | 0.8.0 | success → failure | status changed |
| cvc5 | 1.2.0 | success → failure | status changed |
| cvc5 | 1.3.0 | success → failure | status changed |
| fstar | 2025.02.17 | success → failure | status changed |
| fstar | 2025.03.25 | success → failure | status changed |
| fstar | 2025.06.20 | success → failure | status changed |
| fstar | 2025.08.07 | success → failure | status changed |
| fstar | 2025.09.04 | success → failure | status changed |
| ortools_solvers | 9.15.0-1 | success → failure | status changed |
| ortools_solvers | 9.15.0-2 | success → failure | status changed |
867ed8efe776 — 2026-08-30 10:26 UTC (full diff)
| Package | Version | Status | Change |
|---|---|---|---|
| cdp | 0.1.0 | cascade | added |