Skip to content

Support set-option in proof and signature files (#77) #758

Support set-option in proof and signature files (#77)

Support set-option in proof and signature files (#77) #758

Triggered via push September 10, 2024 13:25
Status Success
Total duration 1m 49s
Artifacts

main.yml

on: push
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-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
macOS-x86_64:Release
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp