diff options
| author | Ivan Nardi <12729895+IvanNardi@users.noreply.github.com> | 2022-09-12 19:11:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-12 19:11:43 +0200 |
| commit | 4bb81f760978d12b4503bd3e7a23f21dbfb758ce (patch) | |
| tree | 3c46f62cdc36bdd3e72355df79653308fbb95c84 /src | |
| parent | 678dd61866944eae011fa96f1c6d39d0c201858e (diff) | |
Update Github CI OS and compilers (#1733)
ubuntu-18.04 is deprecated (ubuntu-latest points to 20.04).
macos-latest points to macos-11, so it makes sense to test macos-12,
too.
About the compilers, the general idea it to test the oldest and the
newest versions easily available: switch to gcc-11 and clang-14.
See: https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions