Merge pull request #270 from vbgl/mathcomp-analysis-1.4.0

mathcomp-analysis 1.4.0
coq-community · Oct 14, 2024 · e31be6f · e31be6f
2 parents e0247d8 + 4864e5f
commit e31be6f
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/.github/workflows/nix-action-8.19.yml b/.github/workflows/nix-action-8.19.yml
@@ -3621,6 +3621,7 @@ jobs:
     - coq
     - mathcomp-analysis
     - mathcomp-algebra-tactics
+    - interval
     runs-on: ubuntu-latest
     steps:
     - name: Determine which commit to initially checkout
@@ -3674,6 +3675,10 @@ jobs:
       name: 'Building/fetching previous CI target: mathcomp-algebra-tactics'
       run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
         job "mathcomp-algebra-tactics"
+    - if: steps.stepCheck.outputs.status == 'built'
+      name: 'Building/fetching previous CI target: interval'
+      run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
+        job "interval"
     - if: steps.stepCheck.outputs.status == 'built'
       name: Building/fetching current CI target
       run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr

diff --git a/.nix/nixpkgs.nix b/.nix/nixpkgs.nix
@@ -1,4 +1,4 @@
 fetchTarball {
-    url = https://github.com/NixOS/nixpkgs/archive/b8b39b395e56ca289e1e4348ef44df6788580331.tar.gz;
-    sha256 = "0r5p19x37xyrpk8d2n0vxfj1r4y563iy5dig25pg65i3d4ayam47";
+    url = https://github.com/NixOS/nixpkgs/archive/782c8b0451119555e47038daccf7621c5dd67950.tar.gz;
+    sha256 = "1rya6w2b3ynmdm9dzh391z2di6a85i6k4lpvlynmxzaqjbxia7ry";
   }