|
23 | 23 | name: Model Checking - Consistency
|
24 | 24 | runs-on: [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
|
25 | 25 | container:
|
26 |
| - image: ghcr.io/microsoft/ccf/ci/default:build-25-07-2024 |
| 26 | + image: ghcr.io/microsoft/ccf/ci/default:build-05-12-2024 |
27 | 27 |
|
28 | 28 | steps:
|
29 | 29 | - uses: actions/checkout@v4
|
@@ -120,7 +120,7 @@ jobs:
|
120 | 120 | name: Model Checking - Consensus
|
121 | 121 | runs-on: [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
|
122 | 122 | container:
|
123 |
| - image: ghcr.io/microsoft/ccf/ci/default:build-25-07-2024 |
| 123 | + image: ghcr.io/microsoft/ccf/ci/default:build-05-12-2024 |
124 | 124 |
|
125 | 125 | steps:
|
126 | 126 | - uses: actions/checkout@v4
|
@@ -154,7 +154,7 @@ jobs:
|
154 | 154 | name: Model Checking With Reconfig - Consensus
|
155 | 155 | runs-on: [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
|
156 | 156 | container:
|
157 |
| - image: ghcr.io/microsoft/ccf/ci/default:build-25-07-2024 |
| 157 | + image: ghcr.io/microsoft/ccf/ci/default:build-05-12-2024 |
158 | 158 |
|
159 | 159 | steps:
|
160 | 160 | - uses: actions/checkout@v4
|
@@ -209,7 +209,7 @@ jobs:
|
209 | 209 | name: Trace Validation - Consensus
|
210 | 210 | runs-on: [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
|
211 | 211 | container:
|
212 |
| - image: ghcr.io/microsoft/ccf/ci/default:build-25-07-2024 |
| 212 | + image: ghcr.io/microsoft/ccf/ci/default:build-05-12-2024 |
213 | 213 |
|
214 | 214 | steps:
|
215 | 215 | - uses: actions/checkout@v4
|
|
0 commit comments