CI: fix typo

jasmin-lang · Mar 20, 2023 · f0730cf · f0730cf
1 parent 42b2b08
commit f0730cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -72,7 +72,7 @@ ocaml:
     paths:
     - compiler/_build/
     - compiler/jasminc.native
-    - compiler/jasminpp.native
+    - compiler/jazz2tex.native
 
 eclib:
   stage: prove