Restore the tree after checking labelled modules

Otherwise the make alldepend check fails.
ocaml · May 15, 2021 · 5fbd6e1 · 5fbd6e1
1 parent 5e45b2e
commit 5fbd6e1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/ci/actions/check-labelled-interfaces.sh b/tools/ci/actions/check-labelled-interfaces.sh
@@ -33,5 +33,6 @@ This should be fixable by just running tools/sync_stdlib_docs and
 eviewing the changes it makes.
 ------------------------------------------------------------------------
 EOF
+  git checkout .
   exit 1
 fi