From 3622c658d7afb4601a03ed59b6cdbef100d642f9 Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Fri, 17 Jan 2025 15:49:11 +0100 Subject: [PATCH] Test stdlib-on-master --- .github/workflows/nix-action-8.16-mathcomp2.yml | 5 +++++ .github/workflows/nix-action-8.16.yml | 5 +++++ .github/workflows/nix-action-8.17.yml | 5 +++++ .github/workflows/nix-action-8.18.yml | 5 +++++ .github/workflows/nix-action-8.19.yml | 5 +++++ .github/workflows/nix-action-8.20.yml | 5 +++++ .nix/nixpkgs.nix | 6 +++--- 7 files changed, 33 insertions(+), 3 deletions(-) diff --git a/.github/workflows/nix-action-8.16-mathcomp2.yml b/.github/workflows/nix-action-8.16-mathcomp2.yml index 84f8654..e1fd288 100644 --- a/.github/workflows/nix-action-8.16-mathcomp2.yml +++ b/.github/workflows/nix-action-8.16-mathcomp2.yml @@ -2957,6 +2957,7 @@ jobs: itauto: needs: - coq + - stdlib runs-on: ubuntu-latest steps: - name: Determine which commit to initially checkout @@ -3002,6 +3003,10 @@ jobs: name: 'Building/fetching previous CI target: coq' run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16-mathcomp2" --argstr job "coq" + - if: steps.stepCheck.outputs.status == 'built' + name: 'Building/fetching previous CI target: stdlib' + run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16-mathcomp2" + --argstr job "stdlib" - 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.16-mathcomp2" diff --git a/.github/workflows/nix-action-8.16.yml b/.github/workflows/nix-action-8.16.yml index 17517d0..10d378a 100644 --- a/.github/workflows/nix-action-8.16.yml +++ b/.github/workflows/nix-action-8.16.yml @@ -3200,6 +3200,7 @@ jobs: itauto: needs: - coq + - stdlib runs-on: ubuntu-latest steps: - name: Determine which commit to initially checkout @@ -3245,6 +3246,10 @@ jobs: name: 'Building/fetching previous CI target: coq' run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr job "coq" + - if: steps.stepCheck.outputs.status == 'built' + name: 'Building/fetching previous CI target: stdlib' + run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr + job "stdlib" - 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.16" --argstr diff --git a/.github/workflows/nix-action-8.17.yml b/.github/workflows/nix-action-8.17.yml index bde9917..22d02fb 100644 --- a/.github/workflows/nix-action-8.17.yml +++ b/.github/workflows/nix-action-8.17.yml @@ -3113,6 +3113,7 @@ jobs: itauto: needs: - coq + - stdlib runs-on: ubuntu-latest steps: - name: Determine which commit to initially checkout @@ -3158,6 +3159,10 @@ jobs: name: 'Building/fetching previous CI target: coq' run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr job "coq" + - if: steps.stepCheck.outputs.status == 'built' + name: 'Building/fetching previous CI target: stdlib' + run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr + job "stdlib" - 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.17" --argstr diff --git a/.github/workflows/nix-action-8.18.yml b/.github/workflows/nix-action-8.18.yml index de4c166..1db36e4 100644 --- a/.github/workflows/nix-action-8.18.yml +++ b/.github/workflows/nix-action-8.18.yml @@ -3051,6 +3051,7 @@ jobs: itauto: needs: - coq + - stdlib runs-on: ubuntu-latest steps: - name: Determine which commit to initially checkout @@ -3096,6 +3097,10 @@ jobs: name: 'Building/fetching previous CI target: coq' run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.18" --argstr job "coq" + - if: steps.stepCheck.outputs.status == 'built' + name: 'Building/fetching previous CI target: stdlib' + run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.18" --argstr + job "stdlib" - 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.18" --argstr diff --git a/.github/workflows/nix-action-8.19.yml b/.github/workflows/nix-action-8.19.yml index 0361f7d..1662a1f 100644 --- a/.github/workflows/nix-action-8.19.yml +++ b/.github/workflows/nix-action-8.19.yml @@ -2969,6 +2969,7 @@ jobs: itauto: needs: - coq + - stdlib runs-on: ubuntu-latest steps: - name: Determine which commit to initially checkout @@ -3014,6 +3015,10 @@ jobs: name: 'Building/fetching previous CI target: coq' run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr job "coq" + - if: steps.stepCheck.outputs.status == 'built' + name: 'Building/fetching previous CI target: stdlib' + run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr + job "stdlib" - 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/.github/workflows/nix-action-8.20.yml b/.github/workflows/nix-action-8.20.yml index be364e7..af56424 100644 --- a/.github/workflows/nix-action-8.20.yml +++ b/.github/workflows/nix-action-8.20.yml @@ -2369,6 +2369,7 @@ jobs: itauto: needs: - coq + - stdlib runs-on: ubuntu-latest steps: - name: Determine which commit to initially checkout @@ -2414,6 +2415,10 @@ jobs: name: 'Building/fetching previous CI target: coq' run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr job "coq" + - if: steps.stepCheck.outputs.status == 'built' + name: 'Building/fetching previous CI target: stdlib' + run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.20" --argstr + job "stdlib" - 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.20" --argstr diff --git a/.nix/nixpkgs.nix b/.nix/nixpkgs.nix index e7b97fc..29d6cf9 100644 --- a/.nix/nixpkgs.nix +++ b/.nix/nixpkgs.nix @@ -1,4 +1,4 @@ fetchTarball { - url = "https://github.com/NixOS/nixpkgs/archive/32acaa2689c010f24acc3755f97fb9dafc76f05a.tar.gz"; - sha256 = "0frsjmz3ndgq1hk4k8aaq1nvy67sxrm6bhz0kxzlp5f6xd682d7q"; - } + url = "https://github.com/proux01/nixpkgs/archive/2d2e3adafc4f7299f6d9a15d21f6d0c7282d5a69.tar.gz"; + sha256 = "1lyq52jzs2ayfbb9nnav3i40bjr9615cnggk5j1z2ipszqj0f9xr"; + }