This repository has been archived by the owner on Aug 22, 2024. It is now read-only.
Make simplification with TOP more aggressive #1
hermanventermirai_on_mirai.yml
on: pull_request
Matrix: build_with_vcpkg_installed_z3
Annotations
5 errors
|
build_with_vcpkg_installed_z3 (macos, macos-latest, x64-osx)
Process completed with exit code 101.
|
|
build_with_vcpkg_installed_z3 (windows)
The job was canceled because "macos_macos-latest_x64-os" failed.
|
|
build_with_vcpkg_installed_z3 (windows)
The operation was canceled.
|
|
build_with_vcpkg_installed_z3 (linux, ubuntu-latest, x64-linux)
The job was canceled because "macos_macos-latest_x64-os" failed.
|
|
build_with_vcpkg_installed_z3 (linux, ubuntu-latest, x64-linux)
The operation was canceled.
|