more generous timeout: support build on Raspberry Pi;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE432b3605933d: add documentation for pred_mono
- Branches
- Unknown
- Tags
more generous timeout: support build on Raspberry Pi; Tags None Subscribers None |