Skip to content
dingo-ubuntu

Update dingo to use volesti develop instead of volesti4dingo branch #184

Sign in to view logs

Update dingo to use volesti develop instead of volesti4dingo branch

Update dingo to use volesti develop instead of volesti4dingo branch #184

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (3.8)
3m 55s
3m 55s