diff options
| author | Ivan Nardi <12729895+IvanNardi@users.noreply.github.com> | 2023-12-20 19:22:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-20 19:22:22 +0100 |
| commit | a5595d16c0f24924656813eccd0f0ac5c17c56a6 (patch) | |
| tree | 5514d7138791f884dcd1726d7595053d2ff29116 /doc/index.rst | |
| parent | 149067b3fc4f3daafaa0cb8c2a5dab376b3ae975 (diff) | |
CI: update list of compilers (#2223)
Try using latest gcc and clang versions.
We still care about RHEL7: since handling a RHEL7 runner on GitHub is
quite complex, let try to use a similar version of gcc, at least
Diffstat (limited to 'doc/index.rst')
0 files changed, 0 insertions, 0 deletions