ci tentative

.github/workflows/ci.yml

@@ -10,30 +10,19 @@ permissions: read-all
 
 jobs:
   build:
-    strategy:
-      fail-fast: false
-      matrix:
-        os:
-          - ubuntu-latest
-        ocaml-compiler:
-          - "4.14.0"
-
-    runs-on: ${{ matrix.os }}
+    runs-on: ubuntu-latest
+    container:
+      image: ghcr.io/catalalang/catala-coq-ci  
 
     steps:
+      - name: Check Coq installation
+        run: coqc --version
+
       - name: Checkout tree
         uses: actions/checkout@v4
 
-      - name: Set-up OCaml ${{ matrix.ocaml-compiler }}
-        uses: ocaml/setup-ocaml@v2
-        with:
-          ocaml-compiler: ${{ matrix.ocaml-compiler }}
-          opam-repositories: |
-            default: https://github.com/ocaml/opam-repository.git
-            coq-released: https://coq.inria.fr/opam/released
-
-      - run: opam install . --deps-only --with-test
-
-      - run: opam exec -- dune build
+      - name: Build project
+        run: dune build
 
-      - run: opam exec -- dune runtest
+      - name: Run tests
+        run: dune runtest

.gitignore

@@ -6,3 +6,5 @@ _opam
 catala.dpd
 .ipynb_checkpoints
 .venv
+
+result

docker.nix

@@ -0,0 +1,6 @@
+{ dockerTools, coqPackages, coq, dune_3, github-runner, name}:
+dockerTools.buildLayeredImage {
+  name = name;
+  tag = "latest";
+  contents = [ coq coqPackages.autosubst dune_3 github-runner ];
+}

flake.nix

@@ -0,0 +1,11 @@
+{
+  description = "docker image";
+
+  inputs = {
+    nixpkgs.url = "github:nixos/nixpkgs?ref=nixos-unstable";
+  };
+
+  outputs = { self, nixpkgs }: {
+    packages.x86_64-linux.default = nixpkgs.legacyPackages.x86_64-linux.callPackage ./docker.nix {name = "ghcr.io/CatalaLang/catala-coq-ci";};
+  };
+}