Skip to content

Further fixes to $DESTDIR handling #1512

Further fixes to $DESTDIR handling

Further fixes to $DESTDIR handling #1512

Triggered via pull request November 13, 2023 20:11
Status Failure
Total duration 31m 41s
Artifacts

CI.yml

on: pull_request
Ubuntu GCC, default flags with AVX2, Code Coverage (x3)
14m 9s
Ubuntu GCC, default flags with AVX2, Code Coverage (x3)
Ubuntu GCC (assert, x1)
17m 21s
Ubuntu GCC (assert, x1)
macOS GCC with BLAS (x1)
31m 29s
macOS GCC with BLAS (x1)
FreeBSD Clang (x0.5)
44s
FreeBSD Clang (x0.5)
Cygwin GCC (x0.5)
28m 34s
Cygwin GCC (x0.5)
Ubuntu Clang (x1)
19m 28s
Ubuntu Clang (x1)
Ubuntu GCC via CMake (no check)
10m 45s
Ubuntu GCC via CMake (no check)
MinGW GCC (x0.5)
19m 4s
MinGW GCC (x0.5)
MSVC (x1, excl test)
16m 30s
MSVC (x1, excl test)
Nemo.jl
2m 39s
Nemo.jl
Fit to window
Zoom out
Zoom in

Annotations

2 errors
FreeBSD Clang (x0.5)
Process completed with exit code 1.
Nemo.jl
Process completed with exit code 1.