| commit | f642f8fd71bfc3a539f01e87d0512760ed406889 | [log] [tgz] |
|---|---|---|
| author | Ammar Faizi <ammarfaizi2@gnuweeb.org> | Mon Jul 11 18:41:21 2022 +0700 |
| committer | Ammar Faizi <ammarfaizi2@gnuweeb.org> | Mon Jul 11 20:06:34 2022 +0700 |
| tree | 8db207483ea284a5d7410bd45078cb0afa9a8ae0 | |
| parent | 696f28fa0c7eec22bdfade663d31b0f5c6385c77 [diff] |
.github: Upgrade GitHub bot to Ubuntu 22.04 and gcc-11 Using "runs-on: ubuntu-latest" gives us Ubuntu 20.04. The latest Ubuntu version today is 22.04. Not sure why "latest" here doesn't give us the latest version of Ubuntu. Specify 22.04 version explicitly to get Ubuntu 22.04 for GitHub bot. This also upgrades gcc version from gcc-9 to gcc-11. Signed-off-by: Ammar Faizi <ammarfaizi2@gnuweeb.org>