Skip to content
CI (Coq, MacOS)

[ci] [alpine] Use --root instead of sudo #4249

Sign in to view logs

[ci] [alpine] Use --root instead of sudo

[ci] [alpine] Use --root instead of sudo #4249

The logs for this run have expired and are no longer available.