Faster configuration (GMP)

Make domain separation tag configurable. #1179

Sign in to view logs

Triggered via push January 11, 2025 16:52

dfaranha

main

Status Success

Total duration 7m 13s

Artifacts –

gmp.yml

on: push

Matrix: build

Annotations

3 warnings

Ubuntu Latest - Clang

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Ubuntu Latest - GCC

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

MacOS Latest

gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp