@@ -138,7 +138,7 @@ jobs:
138
138
- idris-version : " v0.6.0"
139
139
lsp-version : " idris2-0.6.0"
140
140
env :
141
- TAG : ghcr.io/${{ github.repository }}/ devcontainer:${{ matrix.idris-version }}
141
+ TEST_TAG : devcontainer-test
142
142
steps :
143
143
- name : Checkout Repo
144
144
uses : actions/checkout@v3
@@ -150,6 +150,7 @@ jobs:
150
150
dockerfile : devcontainer
151
151
repo : ${{ github.repository }}
152
152
lsp-version : ${{ matrix.lsp-version }}
153
+ tags : ${{ env.TEST_TAG }}
153
154
154
155
- name : Setup BATS
155
156
uses : andmos/setup-bats@patch-1
@@ -169,7 +170,7 @@ jobs:
169
170
- name : Run Test 2
170
171
run : |
171
172
export LIB_PATH=/usr/lib/
172
- export DOCKER_IMAGE=${{ env.TAG }}
173
+ export DOCKER_IMAGE=${{ env.TEST_TAG }}
173
174
bats tests/devcontainer-idris.bats
174
175
175
176
devcontainer-deploy :
@@ -215,7 +216,7 @@ jobs:
215
216
idris-version : ["v0.5.1", "v0.6.0", "latest"]
216
217
dockerfile : [ubuntu, debian]
217
218
env :
218
- TAG : ghcr.io/ ${{ github.repository }}/${{ matrix.dockerfile }}:${{ matrix.idris-version }}
219
+ TEST_TAG : test- ${{ matrix.dockerfile }}
219
220
steps :
220
221
- name : Checkout Repo
221
222
uses : actions/checkout@v3
@@ -226,6 +227,7 @@ jobs:
226
227
version : ${{ matrix.idris-version }}
227
228
dockerfile : ${{ matrix.dockerfile }}
228
229
repo : ${{ github.repository }}
230
+ tags : ${{ env.TEST_TAG }}
229
231
230
232
- name : Setup BATS
231
233
uses : mig4/setup-bats@v1
@@ -245,7 +247,7 @@ jobs:
245
247
- name : Run Test
246
248
run : |
247
249
export LIB_PATH=/usr/lib/
248
- export DOCKER_IMAGE=${{ env.TAG }}
250
+ export DOCKER_IMAGE=${{ env.TEST_TAG }}
249
251
bats tests/consumer-idris.bats
250
252
251
253
0 commit comments