Skip to content

Commit 1b07fc7

Browse files
proux01proux01
committed
[CI] Update coq-nix-toolbox
1 parent 76de461 commit 1b07fc7

File tree

4 files changed

+99
-99
lines changed

4 files changed

+99
-99
lines changed

‎.github/workflows/nix-action-coq-8.19.yml‎

Lines changed: 38 additions & 38 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ jobs:
1010
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
1111
\ }}\" >> $GITHUB_ENV\nfi\n"
1212
- name: Git checkout
13-
uses: actions/checkout@v3
13+
uses: actions/checkout@v4
1414
with:
1515
fetch-depth: 0
1616
ref: ${{ env.target_commit }}
@@ -24,7 +24,7 @@ jobs:
2424
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
2525
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
2626
- name: Git checkout
27-
uses: actions/checkout@v3
27+
uses: actions/checkout@v4
2828
with:
2929
fetch-depth: 0
3030
ref: ${{ env.tested_commit }}
@@ -73,7 +73,7 @@ jobs:
7373
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
7474
\ }}\" >> $GITHUB_ENV\nfi\n"
7575
- name: Git checkout
76-
uses: actions/checkout@v3
76+
uses: actions/checkout@v4
7777
with:
7878
fetch-depth: 0
7979
ref: ${{ env.target_commit }}
@@ -87,7 +87,7 @@ jobs:
8787
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
8888
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
8989
- name: Git checkout
90-
uses: actions/checkout@v3
90+
uses: actions/checkout@v4
9191
with:
9292
fetch-depth: 0
9393
ref: ${{ env.tested_commit }}
@@ -121,7 +121,7 @@ jobs:
121121
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
122122
\ }}\" >> $GITHUB_ENV\nfi\n"
123123
- name: Git checkout
124-
uses: actions/checkout@v3
124+
uses: actions/checkout@v4
125125
with:
126126
fetch-depth: 0
127127
ref: ${{ env.target_commit }}
@@ -135,7 +135,7 @@ jobs:
135135
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
136136
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
137137
- name: Git checkout
138-
uses: actions/checkout@v3
138+
uses: actions/checkout@v4
139139
with:
140140
fetch-depth: 0
141141
ref: ${{ env.tested_commit }}
@@ -174,7 +174,7 @@ jobs:
174174
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
175175
\ }}\" >> $GITHUB_ENV\nfi\n"
176176
- name: Git checkout
177-
uses: actions/checkout@v3
177+
uses: actions/checkout@v4
178178
with:
179179
fetch-depth: 0
180180
ref: ${{ env.target_commit }}
@@ -188,7 +188,7 @@ jobs:
188188
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
189189
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
190190
- name: Git checkout
191-
uses: actions/checkout@v3
191+
uses: actions/checkout@v4
192192
with:
193193
fetch-depth: 0
194194
ref: ${{ env.tested_commit }}
@@ -231,7 +231,7 @@ jobs:
231231
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
232232
\ }}\" >> $GITHUB_ENV\nfi\n"
233233
- name: Git checkout
234-
uses: actions/checkout@v3
234+
uses: actions/checkout@v4
235235
with:
236236
fetch-depth: 0
237237
ref: ${{ env.target_commit }}
@@ -245,7 +245,7 @@ jobs:
245245
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
246246
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
247247
- name: Git checkout
248-
uses: actions/checkout@v3
248+
uses: actions/checkout@v4
249249
with:
250250
fetch-depth: 0
251251
ref: ${{ env.tested_commit }}
@@ -290,7 +290,7 @@ jobs:
290290
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
291291
\ }}\" >> $GITHUB_ENV\nfi\n"
292292
- name: Git checkout
293-
uses: actions/checkout@v3
293+
uses: actions/checkout@v4
294294
with:
295295
fetch-depth: 0
296296
ref: ${{ env.target_commit }}
@@ -304,7 +304,7 @@ jobs:
304304
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
305305
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
306306
- name: Git checkout
307-
uses: actions/checkout@v3
307+
uses: actions/checkout@v4
308308
with:
309309
fetch-depth: 0
310310
ref: ${{ env.tested_commit }}
@@ -369,7 +369,7 @@ jobs:
369369
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
370370
\ }}\" >> $GITHUB_ENV\nfi\n"
371371
- name: Git checkout
372-
uses: actions/checkout@v3
372+
uses: actions/checkout@v4
373373
with:
374374
fetch-depth: 0
375375
ref: ${{ env.target_commit }}
@@ -383,7 +383,7 @@ jobs:
383383
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
384384
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
385385
- name: Git checkout
386-
uses: actions/checkout@v3
386+
uses: actions/checkout@v4
387387
with:
388388
fetch-depth: 0
389389
ref: ${{ env.tested_commit }}
@@ -452,7 +452,7 @@ jobs:
452452
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
453453
\ }}\" >> $GITHUB_ENV\nfi\n"
454454
- name: Git checkout
455-
uses: actions/checkout@v3
455+
uses: actions/checkout@v4
456456
with:
457457
fetch-depth: 0
458458
ref: ${{ env.target_commit }}
@@ -466,7 +466,7 @@ jobs:
466466
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
467467
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
468468
- name: Git checkout
469-
uses: actions/checkout@v3
469+
uses: actions/checkout@v4
470470
with:
471471
fetch-depth: 0
472472
ref: ${{ env.tested_commit }}
@@ -520,7 +520,7 @@ jobs:
520520
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
521521
\ }}\" >> $GITHUB_ENV\nfi\n"
522522
- name: Git checkout
523-
uses: actions/checkout@v3
523+
uses: actions/checkout@v4
524524
with:
525525
fetch-depth: 0
526526
ref: ${{ env.target_commit }}
@@ -534,7 +534,7 @@ jobs:
534534
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
535535
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
536536
- name: Git checkout
537-
uses: actions/checkout@v3
537+
uses: actions/checkout@v4
538538
with:
539539
fetch-depth: 0
540540
ref: ${{ env.tested_commit }}
@@ -589,7 +589,7 @@ jobs:
589589
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
590590
\ }}\" >> $GITHUB_ENV\nfi\n"
591591
- name: Git checkout
592-
uses: actions/checkout@v3
592+
uses: actions/checkout@v4
593593
with:
594594
fetch-depth: 0
595595
ref: ${{ env.target_commit }}
@@ -603,7 +603,7 @@ jobs:
603603
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
604604
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
605605
- name: Git checkout
606-
uses: actions/checkout@v3
606+
uses: actions/checkout@v4
607607
with:
608608
fetch-depth: 0
609609
ref: ${{ env.tested_commit }}
@@ -651,7 +651,7 @@ jobs:
651651
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
652652
\ }}\" >> $GITHUB_ENV\nfi\n"
653653
- name: Git checkout
654-
uses: actions/checkout@v3
654+
uses: actions/checkout@v4
655655
with:
656656
fetch-depth: 0
657657
ref: ${{ env.target_commit }}
@@ -665,7 +665,7 @@ jobs:
665665
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
666666
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
667667
- name: Git checkout
668-
uses: actions/checkout@v3
668+
uses: actions/checkout@v4
669669
with:
670670
fetch-depth: 0
671671
ref: ${{ env.tested_commit }}
@@ -730,7 +730,7 @@ jobs:
730730
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
731731
\ }}\" >> $GITHUB_ENV\nfi\n"
732732
- name: Git checkout
733-
uses: actions/checkout@v3
733+
uses: actions/checkout@v4
734734
with:
735735
fetch-depth: 0
736736
ref: ${{ env.target_commit }}
@@ -744,7 +744,7 @@ jobs:
744744
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
745745
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
746746
- name: Git checkout
747-
uses: actions/checkout@v3
747+
uses: actions/checkout@v4
748748
with:
749749
fetch-depth: 0
750750
ref: ${{ env.tested_commit }}
@@ -799,7 +799,7 @@ jobs:
799799
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
800800
\ }}\" >> $GITHUB_ENV\nfi\n"
801801
- name: Git checkout
802-
uses: actions/checkout@v3
802+
uses: actions/checkout@v4
803803
with:
804804
fetch-depth: 0
805805
ref: ${{ env.target_commit }}
@@ -813,7 +813,7 @@ jobs:
813813
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
814814
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
815815
- name: Git checkout
816-
uses: actions/checkout@v3
816+
uses: actions/checkout@v4
817817
with:
818818
fetch-depth: 0
819819
ref: ${{ env.tested_commit }}
@@ -873,7 +873,7 @@ jobs:
873873
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
874874
\ }}\" >> $GITHUB_ENV\nfi\n"
875875
- name: Git checkout
876-
uses: actions/checkout@v3
876+
uses: actions/checkout@v4
877877
with:
878878
fetch-depth: 0
879879
ref: ${{ env.target_commit }}
@@ -887,7 +887,7 @@ jobs:
887887
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
888888
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
889889
- name: Git checkout
890-
uses: actions/checkout@v3
890+
uses: actions/checkout@v4
891891
with:
892892
fetch-depth: 0
893893
ref: ${{ env.tested_commit }}
@@ -934,7 +934,7 @@ jobs:
934934
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
935935
\ }}\" >> $GITHUB_ENV\nfi\n"
936936
- name: Git checkout
937-
uses: actions/checkout@v3
937+
uses: actions/checkout@v4
938938
with:
939939
fetch-depth: 0
940940
ref: ${{ env.target_commit }}
@@ -948,7 +948,7 @@ jobs:
948948
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
949949
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
950950
- name: Git checkout
951-
uses: actions/checkout@v3
951+
uses: actions/checkout@v4
952952
with:
953953
fetch-depth: 0
954954
ref: ${{ env.tested_commit }}
@@ -994,7 +994,7 @@ jobs:
994994
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
995995
\ }}\" >> $GITHUB_ENV\nfi\n"
996996
- name: Git checkout
997-
uses: actions/checkout@v3
997+
uses: actions/checkout@v4
998998
with:
999999
fetch-depth: 0
10001000
ref: ${{ env.target_commit }}
@@ -1008,7 +1008,7 @@ jobs:
10081008
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
10091009
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
10101010
- name: Git checkout
1011-
uses: actions/checkout@v3
1011+
uses: actions/checkout@v4
10121012
with:
10131013
fetch-depth: 0
10141014
ref: ${{ env.tested_commit }}
@@ -1063,7 +1063,7 @@ jobs:
10631063
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
10641064
\ }}\" >> $GITHUB_ENV\nfi\n"
10651065
- name: Git checkout
1066-
uses: actions/checkout@v3
1066+
uses: actions/checkout@v4
10671067
with:
10681068
fetch-depth: 0
10691069
ref: ${{ env.target_commit }}
@@ -1077,7 +1077,7 @@ jobs:
10771077
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
10781078
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
10791079
- name: Git checkout
1080-
uses: actions/checkout@v3
1080+
uses: actions/checkout@v4
10811081
with:
10821082
fetch-depth: 0
10831083
ref: ${{ env.tested_commit }}
@@ -1126,7 +1126,7 @@ jobs:
11261126
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
11271127
\ }}\" >> $GITHUB_ENV\nfi\n"
11281128
- name: Git checkout
1129-
uses: actions/checkout@v3
1129+
uses: actions/checkout@v4
11301130
with:
11311131
fetch-depth: 0
11321132
ref: ${{ env.target_commit }}
@@ -1140,7 +1140,7 @@ jobs:
11401140
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
11411141
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
11421142
- name: Git checkout
1143-
uses: actions/checkout@v3
1143+
uses: actions/checkout@v4
11441144
with:
11451145
fetch-depth: 0
11461146
ref: ${{ env.tested_commit }}
@@ -1207,7 +1207,7 @@ jobs:
12071207
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
12081208
\ }}\" >> $GITHUB_ENV\nfi\n"
12091209
- name: Git checkout
1210-
uses: actions/checkout@v3
1210+
uses: actions/checkout@v4
12111211
with:
12121212
fetch-depth: 0
12131213
ref: ${{ env.target_commit }}
@@ -1221,7 +1221,7 @@ jobs:
12211221
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
12221222
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
12231223
- name: Git checkout
1224-
uses: actions/checkout@v3
1224+
uses: actions/checkout@v4
12251225
with:
12261226
fetch-depth: 0
12271227
ref: ${{ env.tested_commit }}

0 commit comments

Comments
 (0)