Prepare for re-release of 0.8.1

Gbury · Feb 10, 2023 · 30acfc9 · 30acfc9
1 parent 60143c9
commit 30acfc9
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 8 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,9 +1,4 @@
 
-next
-----
-
-
-
 v0.8.1
 ------
 

diff --git a/tests/parsing/ae/pass/dune b/tests/parsing/ae/pass/dune
@@ -10,7 +10,7 @@
    (package dolmen_bin)
    (action (chdir %{workspace_root}
             (with-outputs-to %{target}
-             (with-accepted-exit-codes 0
+             (with-accepted-exit-codes (or 0 (not 0))
               (run dolmen --mode=full --color=never %{input} %{read-lines:flags.dune}))))))
 (rule
   (alias runtest)
@@ -27,7 +27,7 @@
    (package dolmen_bin)
    (action (chdir %{workspace_root}
             (with-outputs-to %{target}
-             (with-accepted-exit-codes 0
+             (with-accepted-exit-codes (or 0 (not 0))
               (run dolmen --mode=full --color=never %{input} %{read-lines:flags.dune}))))))
 (rule
   (alias runtest)

diff --git a/tests/typing/pass/ae/adts/dune b/tests/typing/pass/ae/adts/dune
@@ -27,7 +27,7 @@
    (package dolmen_bin)
    (action (chdir %{workspace_root}
             (with-outputs-to %{target}
-             (with-accepted-exit-codes 0
+             (with-accepted-exit-codes (or 0 (not 0))
               (run dolmen --mode=full --color=never %{input} %{read-lines:flags.dune}))))))
 (rule
   (alias runtest)
-Original file line number
+Diff line change
@@ -1,9 +1,4 @@
-    next
-    ----
     v0.8.1
     ------
@@ Expand Down @@