Skip to content
Lint

Stop using GNU libtool for linking GAP and libgap #1240

Sign in to view logs

Stop using GNU libtool for linking GAP and libgap

Stop using GNU libtool for linking GAP and libgap #1240

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

lint.yml

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