Skip to content
Changelog check

Add the OPAMSOLVERTOLERANCE environment variable to allow users to fix solver timeouts for good #4660

Sign in to view logs

Add the OPAMSOLVERTOLERANCE environment variable to allow users to fix solver timeouts for good

Add the OPAMSOLVERTOLERANCE environment variable to allow users to fix solver timeouts for good #4660

Triggered via pull request January 21, 2025 13:05
@kit-ty-katekit-ty-kate
synchronize #5510
kit-ty-kate:solver-tolerance
Status Success
Total duration 10s
Artifacts –

changelog_check.yml

on: pull_request
diff
3s
diff
Fit to window
Zoom out
Zoom in

Annotations

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