Skip to content
CI

Do not evaluate programs on stuck terms #960

Sign in to view logs

Do not evaluate programs on stuck terms

Do not evaluate programs on stuck terms #960

Triggered via pull request January 30, 2025 18:07
@ajreynolajreynol
synchronize #110
hoEval
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-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