Skip to content

Commit 8fffff7

Browse files
committed
use bash instead of powershell
1 parent 2c2404d commit 8fffff7

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

.github/workflows/ci.yml

+3
Original file line numberDiff line numberDiff line change
@@ -280,6 +280,7 @@ jobs:
280280
run: |
281281
which opam > .opam-path
282282
opam env > .opam-env
283+
shell: bash
283284

284285
- name: Save OPAM env
285286
id: cache-opam-env
@@ -306,11 +307,13 @@ jobs:
306307
OPAM_PATH="$(cat .opam-path)"
307308
chmod +x "$OPAM_PATH"
308309
dirname "$OPAM_PATH" >> "$GITHUB_PATH"
310+
shell: bash
309311

310312
- name: Use cached OPAM env - Environment variables
311313
if: steps.cache-opam-tool.outputs.cache-hit == 'true'
312314
run: |
313315
sed "s/'//g; s/; export .*//g" .opam-env >> "$GITHUB_ENV"
316+
shell: bash
314317

315318
- name: "Build compiler"
316319
if: runner.os != 'Linux'

0 commit comments

Comments
 (0)