diff options
| author | Toni Uhlig <matzeton@googlemail.com> | 2024-04-02 04:42:06 +0200 |
|---|---|---|
| committer | Toni Uhlig <matzeton@googlemail.com> | 2024-04-02 04:42:06 +0200 |
| commit | f25e290be0b6bd40553c33bd0e3fb8ec3234ba91 (patch) | |
| tree | cfc5f796cb9212feb77f0666a5111bd5a4e7910a /.github | |
| parent | 21572635ab15a993600c4efd1246ac0691968a75 (diff) | |
| parent | 599cc0f4b83a96c247a92aaaa3f39acfec9e1dbe (diff) | |
Merge remote-tracking branch 'origin/dev' into fix/unused-params-and-fnsfix/unused-params-and-fns
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 8323c25da..516a569ce 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -107,7 +107,7 @@ jobs: msan: "--with-sanitizer" nBPF: "" lto_gold_linker: "--with-lto-and-gold-linker" - - compiler: "clang-7" # "Oldest" clang easily available + - compiler: "clang-9" # "Oldest" clang easily available os: ubuntu-20.04 arch: "x86_64" gcrypt: "" |