Replacing boolector with bitwuzla, introducing explicit Bool type in … #1743
ckirschselfie.yml
on: push
Make all of selfie on Linux
19m 51s
Make all of selfie on macOS
10m 57s
Make all of selfie on Windows
21m 23s
Make everything of selfie on docker
2h 31m
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
|