Ivan Nardi a5595d16c0 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		2023-12-20 19:22:22 +01:00
..
ISSUE_TEMPLATE	Move from PCRE to PCRE2 (#2134)	2023-11-01 14:16:49 +01:00
workflows	CI: update list of compilers (#2223)	2023-12-20 19:22:22 +01:00
PULL_REQUEST_TEMPLATE.md	PR template	2023-10-19 09:29:38 +02:00