Update to Ubuntu 24.04#2269

Merged

sauclovian-g merged 9 commits intomasterfrom

Mar 31, 2025

Commits on Mar 31, 2025

Move Ubuntu versions: mostly 22.04 / some 20.04 -> mostly 24.04 / some 22.04.
sauclovian-g
committed
exercises: bump clang in the docker image to clang-14
sauclovian-g
committed
s2ntests: use ncurses 6 in the docker images, drop ncurses 5
sauclovian-g
committed
s2ntests: install wllvm with pip --break-system-packages
sauclovian-g
committed
CI: move to setup-ocaml@v3 to work around problem on ubuntu 24.04
sauclovian-g
committed
s2ntests: Tell the s2n infrastructure not to install saw.
sauclovian-g
committed
s2ntests: use ubuntu clang-14 instead of an LLVM 10 binary
sauclovian-g
committed
CI: disable the awslc run. See #2273 and #1094.
sauclovian-g
committed
s2ntests: note in README that awslc is currently disabled in the CI.
sauclovian-g
committed