Create ocaml-ci.yml

proof-ninja · Mar 12, 2024 · 44b1ed6 · 44b1ed6
1 parent bb3345a
commit 44b1ed6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ocaml-ci.yml b/.github/workflows/ocaml-ci.yml
@@ -0,0 +1,2 @@
+- name: Set up OCaml
+  uses: ocaml/[email protected]