Skip to content

Commit 8385c03

Browse files
committed
Remove dune build for now, no 8.15 hott package available
1 parent c74abda commit 8385c03

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/build.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ jobs:
2525
- '8.15'
2626
ocaml_version:
2727
- '4.07-flambda'
28-
target: [ local, dune ] # waiting for hott
28+
target: [ local ] # waiting for hott
2929
fail-fast: false
3030

3131
steps:

0 commit comments

Comments
 (0)