diff options
| author | Ivan Nardi <12729895+IvanNardi@users.noreply.github.com> | 2022-12-03 18:29:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-03 18:29:44 +0100 |
| commit | b9f63458e69011aea9aabdd3ffe157d0d4531cc2 (patch) | |
| tree | 0266bc3d54fe5917985bdfbd88e7a3d6f65daa6e /fuzz/Makefile.am | |
| parent | 81e1ea545ca465cda064e7cc80333fe7f0ef2aff (diff) | |
CI: GitHub is updating Ubuntu runners (#1817)
GitHub is moving `ubuntu-latest` to `ubuntu-22.04`: update our
dependencies.
See: https://github.blog/changelog/2022-11-09-github-actions-ubuntu-latest-workflows-will-use-ubuntu-22-04/
This is the reason of the recent random failures in CI.
Update "newest" tested gcc to gcc-12.
Fix a memory error introduced in 557bbcfc5a5165c9eb43bbdd78435796239cd3c9
Diffstat (limited to 'fuzz/Makefile.am')
0 files changed, 0 insertions, 0 deletions