-
Notifications
You must be signed in to change notification settings - Fork 0
85 lines (72 loc) · 2.55 KB
/
devcontainer.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
name: 'build'
on: # rebuild any PRs and main branch changes
pull_request:
push:
branches:
- main
- benchmarking
jobs:
build-devcontainer:
runs-on: ubuntu-latest
outputs:
imageName: ${{ steps.imageName.outputs.imageName }}
steps:
- name: Checkout (GitHub)
uses: actions/checkout@v3
- name: Login to GitHub Container Registry
uses: docker/login-action@v2
with:
registry: ghcr.io
username: ${{ github.repository_owner }}
password: ${{ secrets.GITHUB_TOKEN }}
- name: set lower case owner name
id: imageName
run: |
echo "OWNER_LC=${OWNER,,}" >>${GITHUB_ENV}
echo "imageName=ghcr.io/${OWNER,,}/r-compile-server" >>${GITHUB_OUTPUT}
env:
OWNER: '${{ github.repository_owner }}'
- name: Pre-build dev container image
uses: devcontainers/[email protected]
with:
imageName: ghcr.io/${{ env.OWNER_LC }}/r-compile-server
cacheFrom: ghcr.io/${{ env.OWNER_LC }}/r-compile-server
push: always
test:
runs-on: ubuntu-latest
needs: build-devcontainer
steps:
- name: Checkout (GitHub)
uses: actions/checkout@v3
- name: Login to GitHub Container Registry
uses: docker/login-action@v2
with:
registry: ghcr.io
username: ${{ github.repository_owner }}
password: ${{ secrets.GITHUB_TOKEN }}
# See https://github.com/devcontainers/ci/blob/main/docs/github-action.md
- name: Run tests in the dev container task
uses: devcontainers/[email protected]
with:
imageName: ${{ needs.build-devcontainer.outputs.imageName }}
cacheFrom: ${{ needs.build-devcontainer.outputs.imageName }}
# Change this to be your CI task/script
runCmd: cd server; mvn --batch-mode --update-snapshots test
verify:
runs-on: ubuntu-latest
needs: build-devcontainer
steps:
- name: Checkout (GitHub)
uses: actions/checkout@v3
- name: Login to GitHub Container Registry
uses: docker/login-action@v2
with:
registry: ghcr.io
username: ${{ github.repository_owner }}
password: ${{ secrets.GITHUB_TOKEN }}
- name: Run linters in the container task
uses: devcontainers/[email protected]
with:
imageName: ${{ needs.build-devcontainer.outputs.imageName }}
cacheFrom: ${{ needs.build-devcontainer.outputs.imageName }}
runCmd: cd server; mvn --batch-mode --update-snapshots verify