Skip to content
OS

Remove references to non-existing gap/doc.g #402

Sign in to view logs

Remove references to non-existing gap/doc.g

Remove references to non-existing gap/doc.g #402

Triggered via pull request December 6, 2024 13:03
@fingolfinfingolfin
opened #716
fingolfin:mh/doc.g
Status Success
Total duration 17m 9s
Artifacts –

os.yml

on: pull_request
cygwin / GAP stable-4.13
16m 56s
cygwin / GAP stable-4.13
Matrix: test-unix
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
ubuntu32 / GAP stable-4.13
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
macos / GAP stable-4.13
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp
macos / GAP stable-4.13
autoconf 2.72 is already installed and up-to-date. To reinstall 2.72, run: brew reinstall autoconf
macos / GAP stable-4.13
zlib is keg-only and must be linked with `--force`.