Build-Test-Deploy #115
leventeBajczilinux-build-test-deploy.yml
on: workflow_dispatch
build
16s
Matrix: test-benchexec
release
2m 21s
collect-results
1m 14s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ConcurrentWitness2Test
Expired
|
25.8 MB |
sha256:fa976f662b12e8502b628e79ac7b88dfd932c7495efaf70a7b6766fcc7ae7544
|
|
|
bubaak
Expired
|
7.39 KB |
sha256:50ec93c7b3158430437c95e2459e338d7b2c74189642ad7cdc43cb1cc81cd52e
|
|
|
cbmc
Expired
|
64 KB |
sha256:53dc050cf7591f6e0f1550ef5e1b0243000d00452939df53e5fc812472785ac4
|
|
|
coveriteam-verifier-algo-selection
Expired
|
9.78 KB |
sha256:44288914acabccc54a41a1c2b9d8860c8d905f478fd4e5965f334550f457242d
|
|
|
coveriteam-verifier-parallel-portfolio
Expired
|
67.6 KB |
sha256:3c8989fa550a355c49057d06f69f93fc2eed48a4cc66d839af5bd1a87cb5df8d
|
|
|
cpa-lockator
Expired
|
39.7 KB |
sha256:80de4a33e2b4b06ec671d9a625774ab62b481ee8d06d4bdf4728d664871f1280
|
|
|
cpachecker
Expired
|
60.1 KB |
sha256:191aaa6b2c86fe8bd59a6e0f6b8256109565242d770e02defe5878dff8375b13
|
|
|
cseq
Expired
|
231 KB |
sha256:4aa0cb606a7f3862b468614ad5e8224f50f3dbfa9aa258088b5ab0da545e732d
|
|
|
dartagnan
Expired
|
322 KB |
sha256:c880af491aa6151eba8658d1502effdf28902ec4ee0ab18f915764b645309fe0
|
|
|
deagle
Expired
|
110 KB |
sha256:33c726d99e4cbf7bd10cd7ec2884c892c8af129d66b27fe4e1cc1caa4c02598a
|
|
|
divine
Expired
|
104 KB |
sha256:f80c6c0d159e21290962b57e8c35db2755b017a3257311b2eefa675964f61013
|
|
|
ebf
Expired
|
61.3 KB |
sha256:de5c35d9305353983f5663dd66d8276b7fae0f591c10e373ef2e94f1a17fb833
|
|
|
esbmc-incr
Expired
|
28.3 KB |
sha256:bf8147c7e560b42ff308bea9047f9f2a6002f26867130add18109c18881c9e7d
|
|
|
esbmc-kind
Expired
|
55.2 KB |
sha256:a6e96082aabde081953676683714a1ffc76beb17005de5b63cb25f873a95d6a2
|
|
|
goblint
Expired
|
17.6 KB |
sha256:93cdd36253d963afc3c5a4b41b24ce2fdfce26d95b4289b325a20b8665410957
|
|
|
graves
Expired
|
63.7 KB |
sha256:252801b15ee51f16b51a6793f4c41aa2e05d894f3845d50a012278ec647a1ce3
|
|
|
graves-par
Expired
|
17.4 KB |
sha256:e55137cb041c90dd89994b4538ebf127388e6e17a364bf94d8664d6a9ade3971
|
|
|
infer
Expired
|
212 KB |
sha256:b4e84008dac0adb4a565f78a28e63d8c5a5242ca962a3d943514b040c05e1e52
|
|
|
lazycseq
Expired
|
761 Bytes |
sha256:6be8a2f9fe952dc53fdb872ef5e0f5b4abcb602f65df1d04cddf71889c80309c
|
|
|
lf-checker
Expired
|
57.8 KB |
sha256:d5893b1dfb7be81a363ce36d5825ef0b177d65e487e55fca68e66384c5483e2d
|
|
|
pesco
Expired
|
60.6 KB |
sha256:1132ea8c7317a5049f28309f83523c014c6072c8d5bebccfe0c42511005f3388
|
|
|
pichecker
Expired
|
56.9 KB |
sha256:81ac130ac5c0ac2945867faf4cc3c8864ff134994b0f0fde9285fd5eb0c48fee
|
|
|
symbiotic
Expired
|
34.9 KB |
sha256:831c93378d4b5324174f9ca291928c7193cf7bbdf047ead2ffd672bebc44302d
|
|
|
theta
Expired
|
15.7 KB |
sha256:02da0d1dfcbc2ce6f36c713e38d31e58b2aa5aa234d07708af9bf2730f2feb1c
|
|
|
uautomizer
Expired
|
133 KB |
sha256:b5918a27150f3d00be4fee9a1e0da4a365c8c37809ab9b2e2bd553663643404a
|
|
|
ugemcutter
Expired
|
71.6 KB |
sha256:56bca6c531e6ea7f4bb7adefa17401bbe409d8afccb2c4942b68ae4030473f37
|
|
|
utaipan
Expired
|
128 KB |
sha256:5ff3adb0c2178b304b76c0780cd7f4d6a5b5a4d05636e4387e99d4d3e02440e2
|
|