File tree Expand file tree Collapse file tree 2 files changed +45
-3
lines changed
actions/build-devcontainer-img Expand file tree Collapse file tree 2 files changed +45
-3
lines changed Original file line number Diff line number Diff line change @@ -10,7 +10,7 @@ inputs:
10
10
description : " The Idris version to build"
11
11
required : false
12
12
default : " latest"
13
- base-img :
13
+ base-tag :
14
14
description : " Tag of the base image to use. Should be from base.Dockerfile"
15
15
required : true
16
16
push :
51
51
build-args : |
52
52
IDRIS_LSP_VERSION=${{ inputs.idris-lsp-version }}
53
53
IDRIS_VERSION=${{ inputs.idris-version }}
54
- BASE_IMG=${{ inputs.base-img }}
54
+ BASE_IMG=${{ inputs.base-tag }}
55
55
tags : ${{ inputs.tags }}
56
56
load : ${{ inputs.load }}
57
57
push : ${{ inputs.push }}
71
71
IDRIS_LSP_SHA=${{ steps.get-sha.outputs.lsp-sha }}
72
72
IDRIS_VERSION=${{ inputs.idris-version }}
73
73
IDRIS_SHA=${{ steps.get-sha.outputs.idris-sha }}
74
- BASE_IMG=${{ inputs.base-img }}
74
+ BASE_IMG=${{ inputs.base-tag }}
75
75
tags : ${{ inputs.tags }}
76
76
load : ${{ inputs.load }}
77
77
push : ${{ inputs.push }}
Original file line number Diff line number Diff line change
1
+ name : Release Latest
2
+
3
+ on :
4
+ workflow_dispatch :
5
+ # every day at 1am
6
+ schedule :
7
+ - cron : ' 0 1 * * *'
8
+
9
+
10
+ jobs :
11
+ base-build-test :
12
+ name : Base Build and Test
13
+ uses : ./.github/workflows/version-base-build-test.yml
14
+ with :
15
+ idris-version : latest
16
+ secrets : inherit
17
+
18
+ base-deploy :
19
+ name : Base Deploy
20
+ needs : [base-build-test]
21
+ uses : ./.github/workflows/version-base-deploy.yml
22
+ with :
23
+ idris-version : latest
24
+ secrets : inherit
25
+
26
+ devcontainer-build-test :
27
+ name : Devcontainer Build and Test
28
+ needs : [base-build-test] # needs cached base builds
29
+ uses : ./.github/workflows/version-devcontainer-build-test.yml
30
+ with :
31
+ idris-lsp-version : latest
32
+ idris-version : latest
33
+ secrets : inherit
34
+
35
+ devcontainer-deploy :
36
+ name : Devcontainer Deploy
37
+ needs : [base-deploy, devcontainer-build-test] # needs base deployed to registry
38
+ uses : ./.github/workflows/version-devcontainer-deploy.yml
39
+ with :
40
+ idris-lsp-version : latest
41
+ idris-version : latest
42
+ secrets : inherit
You can’t perform that action at this time.
0 commit comments