ci

Author: Kaptch

.github/workflows/build.yml

@@ -11,14 +11,14 @@ jobs:
     - uses: cachix/install-nix-action@v24
       with:
         github_access_token: ${{ secrets.GITHUB_TOKEN }}
-    - run: nix build .#coq-artifact
+    - run: nix build .#rocq-artifact
 
   build:
     runs-on: ubuntu-latest
     strategy:
       matrix:
         image:
-          - 'coqorg/coq:8.20'
+          - 'rocq/rocq-prover:9.2'
       max-parallel: 4
       fail-fast: false
 

flake.nix

@@ -9,26 +9,26 @@
       let
         pkgs = nixpkgs.legacyPackages.${system};
         lib = pkgs.lib;
-        coq = pkgs.rocq-core_9_2;
-        coqPkgs = pkgs.rocqPackages_9_2;
+        rocq = pkgs.rocq-core_9_2;
+        rocqPkgs = pkgs.rocqPackages_9_2;
       in {
         packages = {
-          coq-artifact = coqPkgs.mkCoqDerivation {
-            pname = "coq-artifact";
+          rocq-artifact = rocqPkgs.mkRocqDerivation {
+            pname = "rocq-artifact";
             version = "main";
             src = ./.;
             buildPhase = "make";
             propagatedBuildInputs = [
-              coqPkgs.stdpp
-              coqPkgs.iris
+              rocqPkgs.stdpp
+              rocqPkgs.iris
             ];
           };
         };
         devShell = pkgs.mkShell {
           buildInputs = with pkgs; [
-            coq
+            rocq
           ];
-          inputsFrom = [ self.packages.${system}.coq-artifact ];
+          inputsFrom = [ self.packages.${system}.rocq-artifact ];
         };
       });
 }