Skip to content

Improve error message in proof checking #863

Improve error message in proof checking

Improve error message in proof checking #863

Triggered via pull request December 3, 2024 15:34
Status Success
Total duration 1m 37s
Artifacts

main.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
macOS-arm64:debug
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp
macOS-x86_64:release
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp
macOS-arm64:release
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp
macOS-x86_64:debug
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp