Skip to content

Let cmake install flintxx/*.h header files into flintxx subdirectory #931

Let cmake install flintxx/*.h header files into flintxx subdirectory

Let cmake install flintxx/*.h header files into flintxx subdirectory #931

Re-run triggered October 10, 2023 08:51
Status Failure
Total duration 57m 50s
Artifacts

CI.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 6 warnings
Ubuntu Clang
Process completed with exit code 1.
Ubuntu GCC via CMake
Process completed with exit code 1.
Nemo.jl
Process completed with exit code 1.
Ubuntu GCC
Process completed with exit code 1.
macOS GCC
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
MinGW GCC
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Ubuntu Clang
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Ubuntu GCC via CMake
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Nemo.jl
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Ubuntu GCC
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/