File tree 11 files changed +20
-20
lines changed
.azure-pipelines-templates
11 files changed +20
-20
lines changed Original file line number Diff line number Diff line change @@ -8,15 +8,15 @@ pr: none
8
8
resources :
9
9
containers :
10
10
- container : virtual
11
- image : ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
11
+ image : ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
12
12
options : --publish-all --cap-add NET_ADMIN --cap-add NET_RAW --cap-add SYS_PTRACE -v /lib/modules:/lib/modules:ro
13
13
14
14
- container : snp
15
- image : ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
15
+ image : ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
16
16
options : --publish-all --cap-add NET_ADMIN --cap-add NET_RAW --cap-add SYS_PTRACE -v /lib/modules:/lib/modules:ro
17
17
18
18
- container : sgx
19
- image : ghcr.io/microsoft/ccf/ci/sgx:build-08-10 -2024
19
+ image : ghcr.io/microsoft/ccf/ci/sgx:build-05-12 -2024
20
20
options : --publish-all --cap-add NET_ADMIN --cap-add NET_RAW --device /dev/sgx_enclave:/dev/sgx_enclave --device /dev/sgx_provision:/dev/sgx_provision -v /dev/sgx:/dev/sgx -v /lib/modules:/lib/modules:ro
21
21
22
22
variables :
Original file line number Diff line number Diff line change 50
50
env:
51
51
ACR_REGISTRY_RESOURCE_NAME: ccfmsrc
52
52
ACR_REGISTRY: ccfmsrc.azurecr.io
53
- BASE_IMAGE: ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
53
+ BASE_IMAGE: ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
54
54
55
55
- script : |
56
56
set -ex
Original file line number Diff line number Diff line change @@ -22,7 +22,7 @@ schedules:
22
22
resources :
23
23
containers :
24
24
- container : virtual
25
- image : ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
25
+ image : ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
26
26
options : --publish-all --cap-add NET_ADMIN --cap-add NET_RAW --cap-add SYS_PTRACE -v /lib/modules:/lib/modules:ro
27
27
28
28
jobs :
Original file line number Diff line number Diff line change 11
11
name : Continuous Benchmarking with Bencher
12
12
runs-on : [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
13
13
container :
14
- image : ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
14
+ image : ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
15
15
steps :
16
16
- uses : actions/checkout@v4
17
17
with :
Original file line number Diff line number Diff line change 24
24
name : Model Checking - Consistency
25
25
runs-on : [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
26
26
container :
27
- image : ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
27
+ image : ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
28
28
defaults :
29
29
run :
30
30
working-directory : tla
@@ -102,7 +102,7 @@ jobs:
102
102
name : Model Checking - Consensus
103
103
runs-on : [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
104
104
container :
105
- image : ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
105
+ image : ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
106
106
defaults :
107
107
run :
108
108
working-directory : tla
@@ -158,7 +158,7 @@ jobs:
158
158
name : Trace Validation - Consensus
159
159
runs-on : [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
160
160
container :
161
- image : ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
161
+ image : ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
162
162
163
163
steps :
164
164
- uses : actions/checkout@v4
Original file line number Diff line number Diff line change 20
20
checks :
21
21
name : " Format and License Checks"
22
22
runs-on : ubuntu-latest
23
- container : ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
23
+ container : ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
24
24
25
25
steps :
26
26
- run : git config --global --add safe.directory "$GITHUB_WORKSPACE"
44
44
options : --user root --publish-all --cap-add NET_ADMIN --cap-add NET_RAW --cap-add SYS_PTRACE -v /lib/modules:/lib/modules:ro
45
45
runs-on : ${{ matrix.platform.nodes }}
46
46
container :
47
- image : ghcr.io/microsoft/ccf/ci/${{ matrix.platform.image }}:build-08-10 -2024
47
+ image : ghcr.io/microsoft/ccf/ci/${{ matrix.platform.image }}:build-05-12 -2024
48
48
options : ${{ matrix.platform.options }}
49
49
steps :
50
50
- uses : actions/checkout@v4
Original file line number Diff line number Diff line change 25
25
# Insufficient space to run on public runner, so use custom pool
26
26
runs-on : [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
27
27
container :
28
- image : ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
28
+ image : ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
29
29
options : --user root
30
30
31
31
permissions :
Original file line number Diff line number Diff line change 17
17
if : ${{ contains(github.event.pull_request.labels.*.name, 'run-long-test') || github.event_name == 'workflow_dispatch' || github.event_name == 'schedule' }}
18
18
runs-on : [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
19
19
container :
20
- image : ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
20
+ image : ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
21
21
22
22
steps :
23
23
- uses : actions/checkout@v4
35
35
if : ${{ contains(github.event.pull_request.labels.*.name, 'run-long-test') || github.event_name == 'workflow_dispatch' || github.event_name == 'schedule' }}
36
36
runs-on : [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
37
37
container :
38
- image : ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
38
+ image : ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
39
39
40
40
steps :
41
41
- uses : actions/checkout@v4
79
79
name : TSAN
80
80
runs-on : [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
81
81
container :
82
- image : ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
82
+ image : ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
83
83
84
84
steps :
85
85
- uses : actions/checkout@v4
@@ -117,7 +117,7 @@ jobs:
117
117
name : LTS
118
118
runs-on : [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
119
119
container :
120
- image : ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
120
+ image : ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
121
121
122
122
steps :
123
123
- uses : actions/checkout@v4
Original file line number Diff line number Diff line change 22
22
if : ${{ contains(github.event.pull_request.labels.*.name, 'run-long-verification') || github.event_name == 'workflow_dispatch' || github.event_name == 'schedule' }}
23
23
runs-on : [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
24
24
container :
25
- image : ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
25
+ image : ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
26
26
defaults :
27
27
run :
28
28
working-directory : tla
50
50
if : ${{ contains(github.event.pull_request.labels.*.name, 'run-long-verification') || github.event_name == 'workflow_dispatch' || github.event_name == 'schedule' }}
51
51
runs-on : [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
52
52
container :
53
- image : ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
53
+ image : ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
54
54
defaults :
55
55
run :
56
56
working-directory : tla
Original file line number Diff line number Diff line change 75
75
nodes : [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
76
76
runs-on : ${{ matrix.platform.nodes }}
77
77
container :
78
- image : ghcr.io/microsoft/ccf/ci/${{ matrix.platform.image }}:build-08-10 -2024
78
+ image : ghcr.io/microsoft/ccf/ci/${{ matrix.platform.image }}:build-05-12 -2024
79
79
options : " --user root --publish-all --cap-add NET_ADMIN --cap-add NET_RAW --cap-add SYS_PTRACE -v /lib/modules:/lib/modules:ro ${{ matrix.platform.container_options }}"
80
80
steps :
81
81
- uses : actions/checkout@v4
Original file line number Diff line number Diff line change 3
3
# Also contains CCF source and build directory
4
4
5
5
# Latest image as of this change
6
- ARG base=ghcr.io/microsoft/ccf/ci/default:build-08-10 -2024
6
+ ARG base=ghcr.io/microsoft/ccf/ci/default:build-05-12 -2024
7
7
FROM ${base}
8
8
9
9
# SSH. Note that this could (should) be done in the base ccf_ci image instead
You can’t perform that action at this time.
0 commit comments