[CI] Using a slightly different way to select GCC version
Description
Description
Details
Details
- Committed
tdegeus Feb 8 2021, 11:06 - Parents
- rGOOSEFEM39f57ca02a80: v0.8.0
- Branches
- Unknown
- Tags
[CI] Using a slightly different way to select GCC version
[CI] Using a slightly different way to select GCC version
Authored by tdegeus on Jan 28 2021, 14:37.
Tags
None
Subscribers
None