slicing: fix unsoundness with exists-forall and nondet choices #45
Philipp15bcreate_nightly_release.yml
on: push
create-nightly-tag
3s
build-vsix
/
build-vsix
20s
publish-docker-image
/
build-and-push-image
31m 16s
Matrix: build-binaries / build-release
Annotations
4 warnings
|
build-binaries / build-release (macos-apple-silicon, macos-latest, stable, aarch64-apple-darwin)
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag. To silence this message, use the `--formula` flag.
|
|
publish-docker-image / build-and-push-image
The following actions use a deprecated Node.js version and will be forced to run on node20: docker/setup-buildx-action@v2, docker/login-action@65b78e6e13532edd9afa3aa52ac7964289d1a9c1, docker/metadata-action@9ec57ed1fcdbf14dcef7dfbe97b2010124a938b7. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build-binaries / build-release (macos-intel, macos-13, stable, x86_64-apple-darwin)
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag. To silence this message, use the `--formula` flag.
|
|
build-binaries / build-release (macos-intel, macos-13, stable, x86_64-apple-darwin)
cmake 3.31.0 is already installed and up-to-date.
To reinstall 3.31.0, run:
brew reinstall cmake
|