Skip to content
Make Everything Selfie

Consolidating BTOR2 procedures #1227

Sign in to view logs

Consolidating BTOR2 procedures

Consolidating BTOR2 procedures #1227

Triggered via push December 9, 2023 15:04
@ckirschckirsch
pushed ce5a2c5
rotor
Status Success
Total duration 2h 26m 10s
Artifacts –

selfie.yml

on: push
Make all of selfie on Linux
16m 49s
Make all of selfie on Linux
Make all of selfie on macOS
29m 47s
Make all of selfie on macOS
Make all of selfie on Windows
18m 36s
Make all of selfie on Windows
Make everything of selfie on docker
2h 26m
Make everything of selfie on docker
Fit to window
Zoom out
Zoom in