Skip to content
Build dockerfiles

First tests completed about clock predicate abstraction #1560

Sign in to view logs

First tests completed about clock predicate abstraction

First tests completed about clock predicate abstraction #1560

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cfa-cli-docker
1m 50s
sts-cli-docker
1m 49s
xta-cli-docker
1m 50s
xsts-cli-docker
1m 54s
7m 23s