BSc thesis "Coloring Data Race Interference Graphs" #6093
Triggered via pull request
September 23, 2026 08:51
sim642
Status
Success
Total duration
5m 47s
Artifacts
–
Annotations
2 notices
|
api-build (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
System package installation failed. Re-synchronizing package index files and retrying installation. Error details: the process '/usr/bin/sudo' failed with exit code 100
|
|
api-build (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|