Commit f558d8ac authored by Vlad Dumitru's avatar Vlad Dumitru
Browse files

pretty please copy the binaries into `dist/`

parent c0b46fe2
Pipeline #5935 passed with stages
in 2 minutes and 3 seconds
......@@ -37,7 +37,7 @@ build-binaries:
opam exec -- dune build --profile=static
- |
cp _build/default/bin/*.exe dist
sudo cp _build/default/bin/*.exe dist
- dist/
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment