Skip to content

MRG: rework the manifest documentation; do misc cleanup #4994

MRG: rework the manifest documentation; do misc cleanup

MRG: rework the manifest documentation; do misc cleanup #4994

Triggered via pull request March 20, 2024 21:14
Status Success
Total duration 48m 15s
Artifacts

dev_envs.yml

on: pull_request
Matrix: nix
Fit to window
Zoom out
Zoom in