Skip to content
Make Everything Selfie

Term substitution with Z3, needs more testing #1728

Sign in to view logs

Term substitution with Z3, needs more testing

Term substitution with Z3, needs more testing #1728

Triggered via push December 4, 2024 09:22
@ckirschckirsch
pushed a4b8d7c
rotor
Status Failure
Total duration 20m 47s
Artifacts –

selfie.yml

on: push
Make all of selfie on Linux
19m 6s
Make all of selfie on Linux
Make all of selfie on macOS
12m 53s
Make all of selfie on macOS
Make all of selfie on Windows
20m 35s
Make all of selfie on Windows
Make everything of selfie on docker
20s
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