max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: CI: re-enable mistakenly deactivated tests for Linux Lake (#10788)

Browse source
This commit is contained in:
Sebastian Ullrich 2025-10-15 15:20:26 +02:00 • committed by GitHub
parent c4747752fe
commit 803ec8ff9d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View file

@ -189,6 +189,8 @@ jobs:
"check-level": 0,
"check-rebootstrap": level >= 1,
"check-stage3": level >= 2,
// only check-level >= 1 opts into tests implicitly. TODO: Clean up this logic.
"test": true,
// NOTE: `test-speedcenter` currently seems to be broken on `ubuntu-latest`
"test-speedcenter": large && level >= 2,
// made explicit until it can be assumed to have propagated to PRs