Skip to content
Lint

Stop using GNU libtool for linking GAP and libgap #1250

Sign in to view logs

Stop using GNU libtool for linking GAP and libgap

Stop using GNU libtool for linking GAP and libgap #1250

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

lint.yml

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