Skip to content
Make Everything Selfie

Naive interval SAT solver #1776

Sign in to view logs

Naive interval SAT solver

Naive interval SAT solver #1776

Triggered via push January 23, 2025 14:58
@ckirschckirsch
pushed b80f8bf
rotor
Status Failure
Total duration 20m 56s
Artifacts –

selfie.yml

on: push
Make all of selfie on Linux
20m 3s
Make all of selfie on Linux
Make all of selfie on macOS
13m 21s
Make all of selfie on macOS
Make all of selfie on Windows
20m 41s
Make all of selfie on Windows
Make everything of selfie on docker
7m 22s
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