Skip to content
Docker Image CI

[DO NOT MERGED] try a different weight computation #87

Sign in to view logs

[DO NOT MERGED] try a different weight computation

[DO NOT MERGED] try a different weight computation #87

Triggered via pull request August 31, 2023 17:56
@soraweesorawee
synchronize #28
sorawee:try-weight
Status Success
Total duration 18m 21s
Artifacts –

docker-image.yml

on: pull_request
test-solve-with-z3
1m 51s
test-solve-with-z3
test-solve-with-cvc5
18m 10s
test-solve-with-cvc5
performance-test
1m 27s
performance-test
Publish Docker image to DockerHub
0s
Publish Docker image to DockerHub
Fit to window
Zoom out
Zoom in