Skip to content

hint user about installing a solver if they plan to perform symbolic #356

hint user about installing a solver if they plan to perform symbolic

hint user about installing a solver if they plan to perform symbolic #356

Triggered via push July 23, 2024 12:08
Status Failure
Total duration 4m 0s
Artifacts

deploy.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
deploy
The process '/opt/hostedtoolcache/opam/2.2.0/x86_64/opam' failed with exit code 40