Skip to content

Stop using GNU libtool for linking GAP and libgap #4946

Stop using GNU libtool for linking GAP and libgap

Stop using GNU libtool for linking GAP and libgap #4946

Triggered via pull request January 17, 2024 23:44
Status Success
Total duration 31m 50s
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