Skip to content
Lint

Stop using GNU libtool for linking GAP and libgap #1239

Sign in to view logs

Stop using GNU libtool for linking GAP and libgap

Stop using GNU libtool for linking GAP and libgap #1239

Triggered via pull request January 14, 2024 23:47
@fingolfinfingolfin
synchronize #5306
fingolfin:mh/no-libtool
Status Success
Total duration 36s
Artifacts –

lint.yml

on: pull_request
gaplint
30s
gaplint
Fit to window
Zoom out
Zoom in