Bump ubuntu from 22.04 to 24.04 in /tools/verdict-back-ends #491
Annotations
1 warning
|
Set up OCaml
darcs has been deprecated because it depends on GHC 8.10 to build!
|
Loading