Skip to content

Commit b07442d

Browse files
committed
Dune pkg GHA: continue on failure
While we want to keep an eye on this, we don't want to make it a hard requirement
1 parent 82fe086 commit b07442d

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.github/workflows/build-dune.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@ jobs:
88
matrix:
99
runs-on: [ ubuntu-latest, macos-latest ]
1010
runs-on: ${{ matrix.runs-on }}
11+
continue-on-error: true
1112

1213
steps:
1314
- name: Checkout code

0 commit comments

Comments
 (0)