Browse Source

disable sandboxing

master
zapashcanon 7 months ago
parent
commit
da85868640
Signed by: zapashcanon GPG Key ID: 8981C3C62D1D28F1
  1. 2
      .build.yml

2
.build.yml

@ -12,7 +12,7 @@ secrets:
- ec1f49cd-38dc-41d9-89f4-c3b6ecd7bcad # ssh deploy key
tasks:
- setup: |
opam init -y
opam init --disable-sandboxing -y
opam update -y
opam install -y stone
- build: |

Loading…
Cancel
Save