Skip to content

Simplify the use of --cmi, towards making it the default #792

Simplify the use of --cmi, towards making it the default

Simplify the use of --cmi, towards making it the default #792

Triggered via pull request October 23, 2024 20:44
Status Success
Total duration 8m 21s
Artifacts

nix.yaml

on: pull_request
Fit to window
Zoom out
Zoom in