Skip to content
Linux build-test-deploy

Merged, removed gen folder, formatted #1896

Sign in to view logs

Merged, removed gen folder, formatted

Merged, removed gen folder, formatted #1896

Triggered via push December 2, 2024 13:43
@leventeBajczileventeBajczi
pushed a520e15
trace-generation
Status Cancelled
Total duration 11m 15s
Artifacts 5

linux-build-test-deploy.yml

on: push
build
5m 28s
build
Matrix: test-docker
create-spec-transformation
12s
create-spec-transformation
deploy-maven
0s
deploy-maven
deploy-docs
24s
deploy-docs
Matrix: test-linux
javadoc
4m 50s
javadoc
Matrix: create-archives
Matrix: deploy-docker
Matrix: test-benchexec
deploy-release
0s
deploy-release
collect-results
0s
collect-results
Fit to window
Zoom out
Zoom in

Annotations

19 errors
test-benchexec (SV-COMP25_no-data-race, BOUNDED)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_unreach-call, CEGAR)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_valid-memsafety, HORN)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_unreach-call, BOUNDED)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_termination, CEGAR)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_valid-memcleanup, HORN)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_no-overflow, BOUNDED)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_valid-memcleanup, CEGAR)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_valid-memcleanup, BOUNDED)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_unreach-call, HORN)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_valid-memsafety, BOUNDED)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_no-overflow, CEGAR)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_termination, BOUNDED)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_no-overflow, HORN)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_no-data-race, HORN)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_no-data-race, CEGAR)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_termination, HORN)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-linux (ubuntu-24.04)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists
test-benchexec (SV-COMP25_valid-memsafety, CEGAR)
Canceling since a higher priority waiting request for 'deploy-refs/heads/trace-generation-push' exists

Artifacts

Produced during runtime
Name Size
EmergenTheta_SV-COMP
497 MB
ThetaJars
493 MB
Theta_SV-COMP
497 MB
Thorn_SV-COMP
497 MB
specification-transformation
58 MB