Skip to content
CI

Stop using GNU libtool for linking GAP and libgap #4930

Sign in to view logs

Stop using GNU libtool for linking GAP and libgap

Stop using GNU libtool for linking GAP and libgap #4930

Triggered via pull request January 15, 2024 23:04
@fingolfinfingolfin
synchronize #5306
fingolfin:mh/no-libtool
Status Cancelled
Total duration 25m 25s
Artifacts 2

CI.yml

on: pull_request
Matrix: test
Send Slack notification on status change
0s
Send Slack notification on status change
Fit to window
Zoom out
Zoom in

Annotations

4 errors
teststandard - ABI=32 CONFIGFLAGS="" - ubuntu-20.04
Canceling since a higher priority waiting request for 'CI-refs/pull/5306/merge-true' exists
teststandard - ABI=32 CONFIGFLAGS="" - ubuntu-20.04
The operation was canceled.
teststandard - - ubuntu-latest
Canceling since a higher priority waiting request for 'CI-refs/pull/5306/merge-true' exists
teststandard - - ubuntu-latest
The operation was canceled.

Artifacts

Produced during runtime
Name Size
manuals-html Expired
3.39 MB
manuals-pdf Expired
5.26 MB