[CI] Using a slightly different way to select GCC version
Description
Description
Details
Details
- Committed
tdegeus Jan 28 2021, 14:37 - Parents
- rGOOSEFEM39f57ca02a80: v0.8.0
- Branches
- Unknown
- Tags
- References
- refs/pull/149/head
tdegeus | Jan 28 2021, 14:37 |