Skip to content
Deploy GAP manual to Pages

buildsys: don't set -rpath when doing 'make install' (#5628) #402

Sign in to view logs

buildsys: don't set -rpath when doing 'make install' (#5628)

buildsys: don't set -rpath when doing 'make install' (#5628) #402

Triggered via push February 6, 2024 08:48
@fingolfinfingolfin
pushed a341af7
master
Status Success
Total duration 2m 37s
Artifacts –

update-gh-pages.yml

on: push
build
2m 9s
build
deploy
9s
deploy
Fit to window
Zoom out
Zoom in