Another fix to the check script

jwiegley · Jan 30, 2024 · 4501fb3 · 4501fb3
1 parent e2d060b
commit 4501fb3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/check b/check
@@ -9,7 +9,7 @@ nix-build --cores 4 . --argstr coqPackages coqPackages_8_17 > log_8_17.txt 2>&1
 nix-build --cores 4 . --argstr coqPackages coqPackages_8_18 > log_8_18.txt 2>&1 &
 nix-build --cores 4 . --argstr coqPackages coqPackages_8_19 > log_8_19.txt 2>&1 &
 
-docker run -t coqorg/coq:8.19 bash -c '
+docker run -t coqorg/coq:dev bash -c '
     git clone https://github.com/jwiegley/category-theory;
     cd category-theory;
     opam update;