File tree 20 files changed +29
-151
lines changed
.azure-pipelines-templates
getting_started/setup_vm/roles
20 files changed +29
-151
lines changed 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 -01-2025-2
53
+ BASE_IMAGE: ghcr.io/microsoft/ccf/ci/default:build-14 -01-2025
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 -01-2025-2
25
+ image : ghcr.io/microsoft/ccf/ci/default:build-14 -01-2025
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 13
13
name : Continuous Benchmarking with Bencher
14
14
runs-on : [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
15
15
container :
16
- image : ghcr.io/microsoft/ccf/ci/default:build-08 -01-2025-2
16
+ image : ghcr.io/microsoft/ccf/ci/default:build-14 -01-2025
17
17
steps :
18
18
- uses : actions/checkout@v4
19
19
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 -01-2025-2
27
+ image : ghcr.io/microsoft/ccf/ci/default:build-14 -01-2025
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 -01-2025-2
105
+ image : ghcr.io/microsoft/ccf/ci/default:build-14 -01-2025
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 -01-2025-2
161
+ image : ghcr.io/microsoft/ccf/ci/default:build-14 -01-2025
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 -01-2025-2
23
+ container : ghcr.io/microsoft/ccf/ci/default:build-14 -01-2025
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 -01-2025-2
47
+ image : ghcr.io/microsoft/ccf/ci/${{ matrix.platform.image }}:build-14 -01-2025
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 -01-2025-2
28
+ image : ghcr.io/microsoft/ccf/ci/default:build-14 -01-2025
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 -01-2025-2
20
+ image : ghcr.io/microsoft/ccf/ci/default:build-14 -01-2025
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 -01-2025-2
38
+ image : ghcr.io/microsoft/ccf/ci/default:build-14 -01-2025
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 -01-2025-2
82
+ image : ghcr.io/microsoft/ccf/ci/default:build-14 -01-2025
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 -01-2025-2
120
+ image : ghcr.io/microsoft/ccf/ci/default:build-14 -01-2025
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 -01-2025-2
25
+ image : ghcr.io/microsoft/ccf/ci/default:build-14 -01-2025
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 -01-2025-2
53
+ image : ghcr.io/microsoft/ccf/ci/default:build-14 -01-2025
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 -01-2025-2
78
+ image : ghcr.io/microsoft/ccf/ci/${{ matrix.platform.image }}:build-14 -01-2025
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 4
4
/-xXx--//-----x=x--/-xXx--/---x---->>>--/
5
5
...
6
6
/\/\d(-_-)b/\/\
7
- ----vmpl
7
+ ----vmpl--
Original file line number Diff line number Diff line change @@ -9,5 +9,5 @@ To build a given image, run:
9
9
10
10
``` bash
11
11
$ cd CCF/
12
- $ docker build -t < tag> -f docker/< app_run| app_dev| ccf_ci> --build-arg=" platform=<sgx| snp|virtual>" --build-arg=" clang_version=<11| 15>" .
12
+ $ docker build -t < tag> -f docker/< app_run| app_dev| ccf_ci> --build-arg=" platform=<snp|virtual>" --build-arg=" clang_version=<15>" .
13
13
```
Original file line number Diff line number Diff line change 1
1
# Application Development image
2
2
# Contains a CCF release for platform and toolchain for target platform
3
3
4
- ARG platform=sgx
4
+ FROM mcr.microsoft.com/mirror/docker/library/ubuntu:20.04
5
5
6
- # SGX
7
- FROM mcr.microsoft.com/mirror/docker/library/ubuntu:20.04 AS base-sgx
8
-
9
- WORKDIR /
10
- COPY ./docker/sgx_deps_pin.sh /
11
- RUN ./sgx_deps_pin.sh && rm /sgx_deps_pin.sh
12
-
13
- # SNP
14
- FROM mcr.microsoft.com/mirror/docker/library/ubuntu:20.04 AS base-snp
15
-
16
- # Virtual
17
- FROM mcr.microsoft.com/mirror/docker/library/ubuntu:20.04 AS base-virtual
18
-
19
- # Final dev image
20
- FROM base-${platform} AS final
21
-
22
- ARG platform=sgx
6
+ ARG platform=snp
23
7
ARG ansible_vars
24
- ARG clang_version=11
8
+ ARG clang_version=15
25
9
26
10
RUN echo "APT::Acquire::Retries \"5\";" | tee /etc/apt/apt.conf.d/80-retries
27
11
Original file line number Diff line number Diff line change 1
1
# Application Runtime image
2
2
# Contains the cchost binary and its runtime dependencies for target platform
3
3
4
- ARG platform=sgx
4
+ FROM mcr.microsoft.com/mirror/docker/library/ubuntu:20.04
5
5
6
- # SGX
7
- FROM mcr.microsoft.com/mirror/docker/library/ubuntu:20.04 AS base-sgx
8
-
9
- WORKDIR /
10
- COPY ./docker/sgx_deps_pin.sh /
11
- RUN ./sgx_deps_pin.sh && rm ./sgx_deps_pin.sh
12
-
13
- # SNP
14
- FROM mcr.microsoft.com/mirror/docker/library/ubuntu:20.04 AS base-snp
15
-
16
- # Virtual
17
- FROM mcr.microsoft.com/mirror/docker/library/ubuntu:20.04 AS base-virtual
18
-
19
- # Final runtime image
20
- FROM base-${platform} AS final
21
-
22
- ARG platform=sgx
6
+ ARG platform=snp
23
7
ARG ansible_vars
24
- ARG clang_version=11
8
+ ARG clang_version=15
25
9
26
10
RUN echo "APT::Acquire::Retries \"5\";" | tee /etc/apt/apt.conf.d/80-retries
27
11
Original file line number Diff line number Diff line change 1
1
# CCF Continuous Integration image
2
2
# Contains CCF build dependencies and toolchain for target platform
3
3
4
- ARG platform=sgx
4
+ FROM mcr.microsoft.com/mirror/docker/library/ubuntu:20.04
5
5
6
- # SGX
7
- FROM mcr.microsoft.com/mirror/docker/library/ubuntu:20.04 AS base-sgx
8
-
9
- WORKDIR /
10
- COPY ./docker/sgx_deps_pin.sh /
11
- RUN ./sgx_deps_pin.sh && rm ./sgx_deps_pin.sh
12
-
13
- # SNP
14
- FROM mcr.microsoft.com/mirror/docker/library/ubuntu:20.04 AS base-snp
15
-
16
- # Virtual
17
- FROM mcr.microsoft.com/mirror/docker/library/ubuntu:20.04 AS base-virtual
18
-
19
- # Final CCF CI image
20
- FROM base-${platform} AS final
21
-
22
- ARG platform=sgx
23
- ARG clang_version=11
6
+ ARG platform
7
+ ARG clang_version=15
24
8
ARG ansible_vars
25
9
26
10
RUN echo "APT::Acquire::Retries \"5\";" | tee /etc/apt/apt.conf.d/80-retries
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 -01-2025-2
6
+ ARG base=ghcr.io/microsoft/ccf/ci/default:build-14 -01-2025
7
7
FROM ${base}
8
8
9
9
# SSH. Note that this could (should) be done in the base ccf_ci image instead
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 17
17
- expect
18
18
- git
19
19
- ccache
20
- - kmod # modinfo for sgxinfo.sh
21
20
- cmake
22
21
- libssl-dev
23
22
- libnghttp2-dev # experimental http2 support
Original file line number Diff line number Diff line change 33
33
become : true
34
34
when : run_js|bool
35
35
36
- - name : Copy JS generic (SGX)
37
- copy :
38
- src : " /opt/ccf_{{ platform }}/lib/{{ ccf_js_app_name }}.enclave.so.signed"
39
- dest : " /usr/lib/ccf/{{ ccf_js_app_name }}.enclave.so.signed"
40
- remote_src : true
41
- become : true
42
- when : (run_js|bool) and (platform == "sgx")
43
-
44
36
- name : Copy JS generic (Virtual)
45
37
copy :
46
38
src : " /opt/ccf_{{ platform }}/lib/{{ ccf_js_app_name }}.virtual.so"
Original file line number Diff line number Diff line change 1
1
ccf_ver : " latest"
2
2
run_js : false
3
3
ccf_js_app_name : " libjs_generic"
4
- platform : " sgx "
4
+ platform : " snp "
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments