Skip to content

Commit 1b457a4

Browse files
committed
try running dune build inside a script
1 parent 782cde7 commit 1b457a4

File tree

2 files changed

+9
-0
lines changed

2 files changed

+9
-0
lines changed

.github/workflows/ci.yml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -185,6 +185,9 @@ jobs:
185185
- name: Install deps
186186
run: opam install . --deps-only --with-test
187187

188+
- name: Build running a bash script
189+
run: opam exec -- bash ./dune_build.sh
190+
188191
- name: Build
189192
run: opam exec -- dune build
190193

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
#!/bin/bash
2+
3+
echo "current directory: $(pwd)"
4+
5+
echo "start building with dune"
6+
dune build

0 commit comments

Comments
 (0)