run_ci: remove monoidal-containers
Closes #21492 (closed)
MonoidalMap is inlined and used to implement Variables, as before.
The top-level value "jobs" is reimplemented as a regular Map, since it doesn't use the monoidal union anyway.
Closes #21492 (closed)
MonoidalMap is inlined and used to implement Variables, as before.
The top-level value "jobs" is reimplemented as a regular Map, since it doesn't use the monoidal union anyway.