Skip to content
Make Everything Selfie

Exact matching BTOR2 input and output in rotor and bitme #1699

Sign in to view logs

Exact matching BTOR2 input and output in rotor and bitme

Exact matching BTOR2 input and output in rotor and bitme #1699

Triggered via push September 28, 2024 16:23
@ckirschckirsch
pushed eacddb3
rotor
Status Failure
Total duration 21m 36s
Artifacts –

selfie.yml

on: push
Make all of selfie on Linux
19m 54s
Make all of selfie on Linux
Make all of selfie on macOS
11m 7s
Make all of selfie on macOS
Make all of selfie on Windows
21m 25s
Make all of selfie on Windows
Make everything of selfie on docker
8m 9s
Make everything of selfie on docker
Fit to window
Zoom out
Zoom in

Annotations

1 error
Make everything of selfie on docker
Process completed with exit code 1.