Try to fix failing CI

ethanuppal · Apr 14, 2024 · 2ae6a41 · 2ae6a41
1 parent ab9b7e4
commit 2ae6a41
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -7,7 +7,7 @@
 ![CI Status](https://github.com/ethanuppal/cs3110_compiler/actions/workflows/ci.yaml/badge.svg)
 
 > "x86 is simple trust me bro"  
-> Last updated: 2024-04-14 02:18:55.227109
+> Last updated: 2024-04-14 02:23:21.158820
 
 ```
 $ ./main -h

diff --git a/readme.py b/readme.py
@@ -15,7 +15,7 @@ def put(var, text):
         put(
             "VERSION_NUM",
             subprocess.check_output(
-                "ocaml -e '#use \"./lib/meta.ml\";; print_endline (Version.to_string get.version)'",
+                "opam exec -- ocaml -e '#use \"./lib/meta.ml\";; print_endline (Version.to_string get.version)'",
                 shell=True,
                 text=True,
             ),