Closed
Milestone
Apr 24, 2023–Jun 30, 2023
(OKR 2023Q2) Keep infrastructure efficient
Overview milestone for the OKR "Keep infrastructure efficient". Projects towards this OKR:
- P1: (2023Q2) Pipeline Monitoring, Profiling and Simulation
- P2: (2023Q2) Investigate side projects
- P3: %(2023Q2) Reducing overall CI workload in `{nomadic-labs,tezos}/tezos`
- P4: %(2023Q2) Reducing marge-bot pipeline wall-time on `tezos/tezos`
Related:
Loading
Loading
Loading
Loading