Skip to content
Lint

Stop using GNU libtool for linking GAP and libgap #1249

Sign in to view logs

Stop using GNU libtool for linking GAP and libgap

Stop using GNU libtool for linking GAP and libgap #1249

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

lint.yml

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