Skip to content

Stop using GNU libtool for linking GAP and libgap #4931

Stop using GNU libtool for linking GAP and libgap

Stop using GNU libtool for linking GAP and libgap #4931

Triggered via pull request January 15, 2024 23:29
Status Success
Total duration 33m 9s
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

Artifacts

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