Skip to content
Docker Image CI

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

Sign in to view logs

[DO NOT MERGED] try a different weight computation

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

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

docker-image.yml

on: pull_request
test-solve-with-z3
1m 22s
test-solve-with-z3
test-solve-with-cvc5
11m 25s
test-solve-with-cvc5
performance-test
1m 31s
performance-test
Publish Docker image to DockerHub
0s
Publish Docker image to DockerHub
Fit to window
Zoom out
Zoom in