GitHub CI without actually needing GPU: tests building and PTX compil…

…ation
lukstafi · May 8, 2024 · faa525d · faa525d
1 parent dad7859
commit faa525d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -27,7 +27,6 @@ jobs:
       with:
         method: network
       #   cuda: '12.4.1'
-    - run: nvidia-smi
     - uses: ocaml/setup-ocaml@v2
       with:
         ocaml-compiler: ${{ matrix.ocaml-compiler }}

diff --git a/.ocamlformat b/.ocamlformat
@@ -0,0 +1,2 @@
+profile = default
+margin = 110