Skip to content

kernel: make memory usage more dynamic #18

kernel: make memory usage more dynamic

kernel: make memory usage more dynamic #18

Triggered via push June 21, 2024 15:30
Status Success
Total duration 17m 25s
Artifacts

os.yml

on: push
cygwin / GAP stable-4.13
17m 12s
cygwin / GAP stable-4.13
Matrix: test-unix
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
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`.