Merge stable-5.3 into main #2261
Annotations
6 warnings
|
Install GAP and clone/compile necessary packages
gmp 6.3.0 is already installed and up-to-date.
To reinstall 6.3.0, run:
brew reinstall gmp
|
|
Install GAP and clone/compile necessary packages
zlib 1.3.1 is already installed and up-to-date.
To reinstall 1.3.1, run:
brew reinstall zlib
|
|
Install GAP and clone/compile necessary packages
zlib is keg-only and must be linked with `--force`.
|
|
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: codecov/codecov-action@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Install dependencies (macOS only!)
gmp 6.3.0 is already installed and up-to-date.
To reinstall 6.3.0, run:
brew reinstall gmp
|
|
Install dependencies (macOS only!)
pkg-config 0.29.2_3 is already installed and up-to-date.
To reinstall 0.29.2_3, run:
brew reinstall pkg-config
|
Loading