39
39
idris-version : ["v0.5.1", "v0.6.0", "latest"]
40
40
steps :
41
41
- name : Checkout Repo
42
- uses : actions/checkout@v3
42
+ uses : actions/checkout@v4
43
43
44
44
# mainly just for caching purposes - makes it faster to build later on
45
45
- name : Build
60
60
TAG : ghcr.io/${{ github.repository }}/base:${{ matrix.idris-version }}
61
61
steps :
62
62
- name : Checkout Repo
63
- uses : actions/checkout@v3
63
+ uses : actions/checkout@v4
64
64
65
65
# mainly just for caching purposes - makes it faster to build later on
66
66
- name : Build
85
85
TAG : ghcr.io/${{ github.repository }}/base:${{ matrix.idris-version }}
86
86
steps :
87
87
- name : Checkout Repo
88
- uses : actions/checkout@v3
88
+ uses : actions/checkout@v4
89
89
90
90
# mainly just for caching purposes - makes it faster to build later on
91
91
- name : Build
@@ -110,7 +110,7 @@ jobs:
110
110
idris-version : ["v0.5.1", "v0.6.0", "latest"]
111
111
steps :
112
112
- name : Checkout Repo
113
- uses : actions/checkout@v3
113
+ uses : actions/checkout@v4
114
114
115
115
- name : Deploy
116
116
if : github.event_name == 'schedule' || github.event_name == 'push'
@@ -138,7 +138,7 @@ jobs:
138
138
TEST_TAG : devcontainer-test
139
139
steps :
140
140
- name : Checkout Repo
141
- uses : actions/checkout@v3
141
+ uses : actions/checkout@v4
142
142
143
143
- name : Build
144
144
uses : ./.github/actions/build-image
@@ -149,14 +149,10 @@ jobs:
149
149
lsp-version : ${{ matrix.lsp-version }}
150
150
tags : ${{ env.TEST_TAG }}
151
151
152
- - name : Setup BATS
153
- uses : andmos /setup-bats@patch- 1
152
+ - name : Setup Bats and Bats libs
153
+ uses :
brokenpip3 /setup-bats[email protected] . 1
154
154
with :
155
155
bats-version : ' 1.8.2'
156
-
157
- - name : Setup Bats libs
158
- uses :
brokenpip3/[email protected]
159
- with :
160
156
support-version : 0.3.0
161
157
assert-version : 2.1.0
162
158
file-install : false
@@ -182,7 +178,7 @@ jobs:
182
178
lsp-version : " latest"
183
179
steps :
184
180
- name : Checkout Repo
185
- uses : actions/checkout@v3
181
+ uses : actions/checkout@v4
186
182
187
183
- name : Deploy
188
184
if : github.event_name == 'push' || github.event_name == 'schedule'
@@ -213,7 +209,7 @@ jobs:
213
209
TEST_TAG : test-${{ matrix.dockerfile }}
214
210
steps :
215
211
- name : Checkout Repo
216
- uses : actions/checkout@v3
212
+ uses : actions/checkout@v4
217
213
218
214
- name : Build
219
215
uses : ./.github/actions/build-image
@@ -223,14 +219,10 @@ jobs:
223
219
repo : ${{ github.repository }}
224
220
tags : ${{ env.TEST_TAG }}
225
221
226
- - name : Setup BATS
227
- uses : mig4 /setup-bats@v1
222
+ - name : Setup Bats and Bats libs
223
+ uses :
brokenpip3 /setup-bats[email protected]
228
224
with :
229
225
bats-version : ' 1.8.2'
230
-
231
- - name : Setup Bats libs
232
- uses :
brokenpip3/[email protected]
233
- with :
234
226
support-version : 0.3.0
235
227
assert-version : 2.1.0
236
228
file-install : false
@@ -255,7 +247,7 @@ jobs:
255
247
dockerfile : [ubuntu, debian]
256
248
steps :
257
249
- name : Checkout Repo
258
- uses : actions/checkout@v3
250
+ uses : actions/checkout@v4
259
251
260
252
- name : Deploy
261
253
if : github.event_name == 'schedule' || github.event_name == 'push'
0 commit comments