Commit 3704614 1 parent ceda84e commit 3704614 Copy full SHA for 3704614
File tree 2 files changed +6
-6
lines changed
2 files changed +6
-6
lines changed Original file line number Diff line number Diff line change 19
19
fetch-depth : 0
20
20
ref : ${{ env.tested_commit }}
21
21
- name : Cachix install
22
- uses : cachix/install-nix-action@v24
22
+ uses : cachix/install-nix-action@v25
23
23
with :
24
24
nix_path : nixpkgs=channel:nixpkgs-unstable
25
25
- name : Cachix setup metacoq
59
59
fetch-depth : 0
60
60
ref : ${{ env.tested_commit }}
61
61
- name : Cachix install
62
- uses : cachix/install-nix-action@v24
62
+ uses : cachix/install-nix-action@v25
63
63
with :
64
64
nix_path : nixpkgs=channel:nixpkgs-unstable
65
65
- name : Cachix setup metacoq
@@ -104,7 +104,7 @@ jobs:
104
104
fetch-depth : 0
105
105
ref : ${{ env.tested_commit }}
106
106
- name : Cachix install
107
- uses : cachix/install-nix-action@v24
107
+ uses : cachix/install-nix-action@v25
108
108
with :
109
109
nix_path : nixpkgs=channel:nixpkgs-unstable
110
110
- name : Cachix setup metacoq
Original file line number Diff line number Diff line change 19
19
fetch-depth : 0
20
20
ref : ${{ env.tested_commit }}
21
21
- name : Cachix install
22
- uses : cachix/install-nix-action@v24
22
+ uses : cachix/install-nix-action@v25
23
23
with :
24
24
nix_path : nixpkgs=channel:nixpkgs-unstable
25
25
- name : Cachix setup metacoq
59
59
fetch-depth : 0
60
60
ref : ${{ env.tested_commit }}
61
61
- name : Cachix install
62
- uses : cachix/install-nix-action@v24
62
+ uses : cachix/install-nix-action@v25
63
63
with :
64
64
nix_path : nixpkgs=channel:nixpkgs-unstable
65
65
- name : Cachix setup metacoq
@@ -104,7 +104,7 @@ jobs:
104
104
fetch-depth : 0
105
105
ref : ${{ env.tested_commit }}
106
106
- name : Cachix install
107
- uses : cachix/install-nix-action@v24
107
+ uses : cachix/install-nix-action@v25
108
108
with :
109
109
nix_path : nixpkgs=channel:nixpkgs-unstable
110
110
- name : Cachix setup metacoq
You can’t perform that action at this time.
0 commit comments