Fix right-side can_add indexing in sls_seq_plugin edit-distance repair
#3899
NikolajBjornerci.yml
on: pull_request
Python bindings (manylinux Centos AMD64) build
20m 9s
Python bindings (manylinux Centos ARM64 cross) build
23m 8s
Ubuntu with OCaml
18m 2s
Ubuntu with OCaml on z3-static
18m 40s
MacOS build
29m 59s
MacOS JNI cross-compile (ARM64 -> x64) architecture validation
7m 55s
Python build-script unit tests
8s
MacOS build with CMake
14m 49s
Matrix: linux-python-debug
Matrix: ubuntu-cmake
Annotations
1 error and 5 warnings
|
Ubuntu with OCaml on z3-static
Process completed with exit code 2.
|
|
Ubuntu build - cmake - debugClang
Restore cache failed: Dependencies file is not found in /home/runner/work/z3/z3. Supported file pattern: go.mod
|
|
MacOS build with CMake
ninja 1.13.2 is already installed and up-to-date.
To reinstall 1.13.2, run:
brew reinstall ninja
|
|
Ubuntu build - cmake - releaseSTGcc
Restore cache failed: Dependencies file is not found in /home/runner/work/z3/z3. Supported file pattern: go.mod
|
|
Ubuntu build - cmake - debugGcc
Restore cache failed: Dependencies file is not found in /home/runner/work/z3/z3. Supported file pattern: go.mod
|
|
Ubuntu build - cmake - releaseClang
Restore cache failed: Dependencies file is not found in /home/runner/work/z3/z3. Supported file pattern: go.mod
|