Skip to content

Commit ddd158f

Browse files
committed
ci(miri): Turn off Miri PowerPC64 job
The job currently fails, seemingly due to some caching issue, on a Pull Request for dependency updates supposed to fix CI, so it's blocking us from testing in CI and merging things at the moment. Let's disable it until the issue is sorted. Cc: @daniel-noland Link: https://github.com/githedgehog/dataplane/actions/runs/28030274103/job/82968910470?pr=1603 Signed-off-by: Quentin Monnet <qmo@qmon.net>
1 parent cdbf9ff commit ddd158f

1 file changed

Lines changed: 11 additions & 6 deletions

File tree

‎.github/workflows/dev.yml‎

Lines changed: 11 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -325,12 +325,17 @@ jobs:
325325
- *tmate
326326

327327
miri:
328-
if: >-
329-
${{
330-
needs.check_changes.outputs.devfiles == 'true'
331-
|| startsWith(github.event.ref, 'refs/tags/v')
332-
|| github.event_name == 'workflow_dispatch'
333-
}}
328+
## FIXME: The only job from the matrix (powerpc64) currently disabled
329+
## because we faced a caching issue (it seems?), and it's blocking CI.
330+
## See https://github.com/githedgehog/dataplane/actions/runs/28030274103/job/82968910470?pr=1603
331+
## Revert disabling once the issue is solved.
332+
#if: >-
333+
# ${{
334+
# needs.check_changes.outputs.devfiles == 'true'
335+
# || startsWith(github.event.ref, 'refs/tags/v')
336+
# || github.event_name == 'workflow_dispatch'
337+
# }}
338+
if: false
334339
name: "check/miri/${{ matrix.cpu }}"
335340
runs-on: "lab"
336341
needs:

0 commit comments

Comments
 (0)