Repository navigation

CI: performance improvements - #21

Merged

pflanze merged 9 commits into

mainfrom

Aug 15, 2026

Merged

CI: performance improvements#21
pflanze merged 9 commits into
mainfrom
cj_speed_up_ci

Commits on Aug 15, 2026
- CI: add unix timestamps to the log output
  pflanze
  committed
  9597da5
- CI: save on compilation cost by making clippy share the workload
  pflanze
  committed
  b14596f
- CI: make the nightly compilation fully independent
  pflanze
  committed
  ace3c2c
- CI: try to parallelize the two nightly runs
  pflanze
  committed
  b4ccc56
- CI: run subcrate tests in parallel
  pflanze
  committed
  58fb2a7
- Revert "CI: run subcrate tests in parallel"
  pflanze
  committed
  12fe7e9
- Revert "CI: try to parallelize the two nightly runs"
  pflanze
  committed
  d630543
- CI: build log-timestamp in target/debug/
  pflanze
  committed
  10ebde7
- Move test programs to test/ and register them in Cargo.toml
  pflanze
  committed
  d2a7c47