Feb 03, 11-12 PM (27)
Feb 03, 12-1 PM (35)
Feb 03, 1-2 PM (43)
Feb 03, 2-3 PM (48)
Feb 03, 3-4 PM (51)
Feb 03, 4-5 PM (69)
Feb 03, 5-6 PM (20)
Feb 03, 6-7 PM (14)
Feb 03, 7-8 PM (15)
Feb 03, 8-9 PM (14)
Feb 03, 9-10 PM (13)
Feb 03, 10-11 PM (27)
Feb 03, 11-12 AM (20)
Feb 04, 12-1 AM (14)
Feb 04, 1-2 AM (1)
Feb 04, 2-3 AM (5)
Feb 04, 3-4 AM (8)
Feb 04, 4-5 AM (3)
Feb 04, 5-6 AM (8)
Feb 04, 6-7 AM (35)
Feb 04, 7-8 AM (26)
Feb 04, 8-9 AM (56)
Feb 04, 9-10 AM (28)
Feb 04, 10-11 AM (66)
Feb 04, 11-12 PM (75)
Feb 04, 12-1 PM (47)
Feb 04, 1-2 PM (60)
Feb 04, 2-3 PM (59)
Feb 04, 3-4 PM (60)
Feb 04, 4-5 PM (99)
Feb 04, 5-6 PM (54)
Feb 04, 6-7 PM (21)
Feb 04, 7-8 PM (21)
Feb 04, 8-9 PM (11)
Feb 04, 9-10 PM (31)
Feb 04, 10-11 PM (40)
Feb 04, 11-12 AM (29)
Feb 05, 12-1 AM (7)
Feb 05, 1-2 AM (8)
Feb 05, 2-3 AM (9)
Feb 05, 3-4 AM (6)
Feb 05, 4-5 AM (8)
Feb 05, 5-6 AM (16)
Feb 05, 6-7 AM (17)
Feb 05, 7-8 AM (19)
Feb 05, 8-9 AM (28)
Feb 05, 9-10 AM (24)
Feb 05, 10-11 AM (27)
Feb 05, 11-12 PM (41)
Feb 05, 12-1 PM (71)
Feb 05, 1-2 PM (53)
Feb 05, 2-3 PM (22)
Feb 05, 3-4 PM (29)
Feb 05, 4-5 PM (29)
Feb 05, 5-6 PM (32)
Feb 05, 6-7 PM (25)
Feb 05, 7-8 PM (41)
Feb 05, 8-9 PM (36)
Feb 05, 9-10 PM (15)
Feb 05, 10-11 PM (34)
Feb 05, 11-12 AM (27)
Feb 06, 12-1 AM (20)
Feb 06, 1-2 AM (15)
Feb 06, 2-3 AM (14)
Feb 06, 3-4 AM (15)
Feb 06, 4-5 AM (5)
Feb 06, 5-6 AM (11)
Feb 06, 6-7 AM (17)
Feb 06, 7-8 AM (52)
Feb 06, 8-9 AM (91)
Feb 06, 9-10 AM (39)
Feb 06, 10-11 AM (33)
Feb 06, 11-12 PM (42)
Feb 06, 12-1 PM (76)
Feb 06, 1-2 PM (58)
Feb 06, 2-3 PM (52)
Feb 06, 3-4 PM (62)
Feb 06, 4-5 PM (62)
Feb 06, 5-6 PM (15)
Feb 06, 6-7 PM (9)
Feb 06, 7-8 PM (35)
Feb 06, 8-9 PM (13)
Feb 06, 9-10 PM (15)
Feb 06, 10-11 PM (25)
Feb 06, 11-12 AM (29)
Feb 07, 12-1 AM (6)
Feb 07, 1-2 AM (2)
Feb 07, 2-3 AM (5)
Feb 07, 3-4 AM (5)
Feb 07, 4-5 AM (5)
Feb 07, 5-6 AM (7)
Feb 07, 6-7 AM (0)
Feb 07, 7-8 AM (5)
Feb 07, 8-9 AM (7)
Feb 07, 9-10 AM (5)
Feb 07, 10-11 AM (2)
Feb 07, 11-12 PM (1)
Feb 07, 12-1 PM (2)
Feb 07, 1-2 PM (13)
Feb 07, 2-3 PM (16)
Feb 07, 3-4 PM (16)
Feb 07, 4-5 PM (11)
Feb 07, 5-6 PM (9)
Feb 07, 6-7 PM (9)
Feb 07, 7-8 PM (3)
Feb 07, 8-9 PM (3)
Feb 07, 9-10 PM (7)
Feb 07, 10-11 PM (26)
Feb 07, 11-12 AM (25)
Feb 08, 12-1 AM (1)
Feb 08, 1-2 AM (5)
Feb 08, 2-3 AM (7)
Feb 08, 3-4 AM (2)
Feb 08, 4-5 AM (2)
Feb 08, 5-6 AM (3)
Feb 08, 6-7 AM (0)
Feb 08, 7-8 AM (0)
Feb 08, 8-9 AM (9)
Feb 08, 9-10 AM (0)
Feb 08, 10-11 AM (2)
Feb 08, 11-12 PM (2)
Feb 08, 12-1 PM (2)
Feb 08, 1-2 PM (0)
Feb 08, 2-3 PM (3)
Feb 08, 3-4 PM (2)
Feb 08, 4-5 PM (3)
Feb 08, 5-6 PM (9)
Feb 08, 6-7 PM (1)
Feb 08, 7-8 PM (3)
Feb 08, 8-9 PM (4)
Feb 08, 9-10 PM (27)
Feb 08, 10-11 PM (42)
Feb 08, 11-12 AM (19)
Feb 09, 12-1 AM (3)
Feb 09, 1-2 AM (9)
Feb 09, 2-3 AM (4)
Feb 09, 3-4 AM (16)
Feb 09, 4-5 AM (6)
Feb 09, 5-6 AM (6)
Feb 09, 6-7 AM (31)
Feb 09, 7-8 AM (10)
Feb 09, 8-9 AM (70)
Feb 09, 9-10 AM (24)
Feb 09, 10-11 AM (78)
Feb 09, 11-12 PM (73)
Feb 09, 12-1 PM (100)
Feb 09, 1-2 PM (53)
Feb 09, 2-3 PM (59)
Feb 09, 3-4 PM (97)
Feb 09, 4-5 PM (48)
Feb 09, 5-6 PM (24)
Feb 09, 6-7 PM (16)
Feb 09, 7-8 PM (19)
Feb 09, 8-9 PM (48)
Feb 09, 9-10 PM (28)
Feb 09, 10-11 PM (36)
Feb 09, 11-12 AM (33)
Feb 10, 12-1 AM (17)
Feb 10, 1-2 AM (6)
Feb 10, 2-3 AM (8)
Feb 10, 3-4 AM (3)
Feb 10, 4-5 AM (9)
Feb 10, 5-6 AM (10)
Feb 10, 6-7 AM (16)
Feb 10, 7-8 AM (77)
Feb 10, 8-9 AM (51)
Feb 10, 9-10 AM (28)
Feb 10, 10-11 AM (59)
Feb 10, 11-12 PM (13)
4,188 commits this week Feb 03, 2026 - Feb 10, 2026
ci: consolidate workflows into single ci.yml with build gates (#5124)
## Summary

- Consolidate Linux CI into single `ci.yml` with build gates (nix store
pre-population)
- Fix nix eval-cache POSIX lock contention: all runners share the same
OS user, so one evaluating job blocks every other nix command via SQLite
write locks on `~/.cache/nix/eval-cache-v5/*.sqlite`. Fixed with per-job
`XDG_CACHE_HOME`
- Fix gitrev stamping cache invalidation: moved out of haskell.nix to
avoid rebuilds
- Move Windows to dedicated `windows.yml` (push master + dispatch only)
- Add macOS E2E job to `macos-unit-tests.yml`
- Add macOS local-cluster tests to `ci.yml`
- Add macOS integration tests workflow (dispatch only, see #5126)
- Separate Windows E2E tests into own workflow (dispatch only, pending
#5110)
- Add push (master) triggers to `linux-e2e`, `linux-mithril-sync`,
`macos-unit-tests`
- Remove PR trigger from `linux-benchmarks` (dispatch + push master
only)
- Delete redundant standalone workflows consolidated into `ci.yml`

## Remaining workflows

| File | Triggers | Purpose |
|------|----------|---------|
| ci.yml | push (master), PR, dispatch | Main consolidated CI |
| windows.yml | push (master), dispatch | Windows unit tests |
| windows-e2e.yml | dispatch | Windows E2E (disabled, #5110) |
| macos-unit-tests.yml | push (master), dispatch | macOS unit + E2E |
| macos-integration.yml | dispatch | macOS integration (#5126) |
| linux-e2e.yml | push (master), dispatch | Linux E2E |
| linux-mithril-sync.yml | push (master), dispatch | Mithril sync |
| linux-benchmarks.yml | push (master), dispatch | Benchmarks |
| publish.yml | push (master, v* tags), PR | Docs |
| lean.yml | push (master), PR, dispatch | Lean specs |
| release.yml | push (master, v* tags) | Release pipeline |
| approve-docs.yml | pull_request_target | Auto-approve docs |
| cleanup.yml | dispatch | Delete old runs |

## Remaining gaps (release blockers)

- #5127 — Restoration benchmarks migration
- #5128 — Release automation (changelog, artifacts, DockerHub)
- #5129 — macOS boot sync tests
- #5130 — Benchmark history tracking
chore(deps): Bump golang.org/x/term from 0.39.0 to 0.40.0
Bumps [golang.org/x/term](https://github.com/golang/term) from 0.39.0 to 0.40.0.
- [Commits](https://github.com/golang/term/compare/v0.39.0...v0.40.0)

---
updated-dependencies:
- dependency-name: golang.org/x/term
  dependency-version: 0.40.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>