Skip to content
Make Everything Selfie

Revert "Downgrading to Ubuntu 23.04 for boolector" #1737

Sign in to view logs

Revert "Downgrading to Ubuntu 23.04 for boolector"

Revert "Downgrading to Ubuntu 23.04 for boolector" #1737

Triggered via push December 17, 2024 07:02
@ckirschckirsch
pushed a2a4f22
main
Status Failure
Total duration 21m 57s
Artifacts –

selfie.yml

on: push
Make all of selfie on Linux
19m 57s
Make all of selfie on Linux
Make all of selfie on macOS
10m 11s
Make all of selfie on macOS
Make all of selfie on Windows
21m 44s
Make all of selfie on Windows
Make everything of selfie on docker
13m 9s
Make everything of selfie on docker
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
Make everything of selfie on docker
Process completed with exit code 1.
Make everything of selfie on docker
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Make all of selfie on Linux
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636