chore: CI: give Linux Debug unlimited test stack size #4959
Triggered via pull request
November 5, 2024 10:51
leanprover-community-bot
leanprover-community-bot
labeled
#5953
Status
Skipped
Total duration
3s
Artifacts
–