Skip to content

Commit 287e33a

Browse files
authored
Merge pull request #573 from Sudha247/optional-dune-pkg-gha
Dune pkg GHA: continue on failure
2 parents 4f67dbc + a0a16db commit 287e33a

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.github/workflows/dune-build.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)