Skip to content
Make Everything Selfie

First attempt at functional BTOR2 programming #1210

Sign in to view logs

First attempt at functional BTOR2 programming

First attempt at functional BTOR2 programming #1210

Triggered via push November 28, 2023 17:57
@ckirschckirsch
pushed 677abbf
rotor
Status Success
Total duration 2h 22m 32s
Artifacts –

selfie.yml

on: push
Make all of selfie on Linux
17m 39s
Make all of selfie on Linux
Make all of selfie on macOS
25m 59s
Make all of selfie on macOS
Make all of selfie on Windows
18m 54s
Make all of selfie on Windows
Make everything of selfie on docker
2h 22m
Make everything of selfie on docker
Fit to window
Zoom out
Zoom in