Merge pull request #2444 from fredrik-johansson/precond2 #3636
CI.yml
on: push
Ubuntu GCC, Code Coverage (x10)
29m 17s
GCC build regression check (no tests)
2m 45s
Ubuntu GCC with NTL and checking msolve (assert, x2)
9m 36s
Ubuntu ARM (x5)
0s
macOS-M1, Clang (x3)
12m 16s
Ubuntu Clang, BLAS and examples (x5)
14m 15s
MinGW GCC (x0.5)
11m 46s
MSVC (x1)
30m 38s
Alpine Linux, musl, 32-bit (assert, x1.5)
14m 35s
Nemo.jl
19m 14s
Annotations
2 errors
|
Ubuntu ARM (x5)
The job was not acquired by Runner of type hosted even after multiple attempts
|
|
CI
Internal server error. Correlation ID: 2100d66d-4c57-4dc1-9c8d-b9d2017ea516
|