Skip to content
Linux build-test-deploy

Linux build-test-deploy #1887

Sign in to view logs

Linux build-test-deploy

Linux build-test-deploy #1887

Run time

Learn about OS pricing on GitHub Actions
Job Run time
create-spec-transformation
13s
build
5m 42s
deploy-maven
16m 26s
deploy-docs
43s
test-docker (theta-cfa-cli)
5m 54s
test-docker (theta-sts-cli)
5m 40s
test-docker (theta-xsts-cli)
6m 2s
test-docker (theta-xta-cli)
5m 51s
test-docker (theta-xcfa-cli)
8m 8s
javadoc
7m 29s
test-linux (ubuntu-24.04)
10m 33s
create-archives (Theta)
3m 6s
create-archives (EmergenTheta)
3m 12s
create-archives (Thorn)
3m 17s
test-benchexec (SV-COMP25_unreach-call, CEGAR)
18m 14s
test-benchexec (SV-COMP25_unreach-call, BOUNDED)
1m 39s
test-benchexec (SV-COMP25_unreach-call, HORN)
17m 58s
test-benchexec (SV-COMP25_no-data-race, CEGAR)
1m 42s
test-benchexec (SV-COMP25_no-data-race, BOUNDED)
17m 52s
test-benchexec (SV-COMP25_no-data-race, HORN)
17m 52s
test-benchexec (SV-COMP25_valid-memcleanup, CEGAR)
4m 26s
test-benchexec (SV-COMP25_valid-memcleanup, BOUNDED)
4m 33s
test-benchexec (SV-COMP25_valid-memcleanup, HORN)
4m 31s
test-benchexec (SV-COMP25_valid-memsafety, CEGAR)
18m 37s
test-benchexec (SV-COMP25_valid-memsafety, BOUNDED)
18m 13s
test-benchexec (SV-COMP25_valid-memsafety, HORN)
17m 52s
test-benchexec (SV-COMP25_no-overflow, CEGAR)
18m 28s
test-benchexec (SV-COMP25_no-overflow, BOUNDED)
17m 50s
test-benchexec (SV-COMP25_no-overflow, HORN)
17m 52s
test-benchexec (SV-COMP25_termination, CEGAR)
15m 24s
test-benchexec (SV-COMP25_termination, BOUNDED)
15m 40s
test-benchexec (SV-COMP25_termination, HORN)
15m 20s
deploy-docker (theta-cfa-cli)
6m 32s
deploy-release
2m 41s
deploy-docker (theta-sts-cli)
7m 27s
deploy-docker (theta-xsts-cli)
7m 46s
deploy-docker (theta-xta-cli)
6m 32s
deploy-docker (theta-xcfa-cli)
10m 31s
collect-results
1m 22s
6h 9m 10s