Details
-
Bug
-
Status: Closed
-
Minor
-
Resolution: Fixed
-
None
-
None
Description
- we need to add --disable-sandboxing in ubuntu focal due to newer opam version
- however we'd also need to keep it as is in ubuntu bionic because --disable-sandboxing was only added recently