Removing boolector from docker image for testing purposes #1742
ckirschselfie.yml
on: push
Make all of selfie on Linux
19m 50s
Make all of selfie on macOS
9m 52s
Make all of selfie on Windows
21m 39s
Make everything of selfie on docker
2h 30m
Annotations
2 warnings
|
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
|
|
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
|