rocq: init at 9.0+rc1 #377439
Merged
rocq: init at 9.0+rc1 #377439
OfBorg / coq, coq.passthru.tests, rocq, rocq.passthru.tests on aarch64-darwin
skipped
Feb 6, 2025 in 0s
No attempt
The following builds were skipped because they don't evaluate on aarch64-darwin: coq, coq.passthru.tests, rocq, rocq.passthru.tests
Details
Partial log
Cannot nix-instantiate `coq.passthru.tests` because:
error: access to absolute path '/private' is forbidden in restricted mode
Cannot nix-instantiate `rocq` because:
error: access to absolute path '/private' is forbidden in restricted mode
Cannot nix-instantiate `rocq.passthru.tests` because:
error: access to absolute path '/private' is forbidden in restricted mode
Loading