Teach predtest about IS [NOT] <boolean> proofs
1 patchset tracked - current t48883_14
v14t48883_14posted Apr 06, 2024successappliesrecent 0dpg 20
base9e17d25e7 about 11 hours ago on master
applyapplied about 1 hour ago
rebaselast tried about 1 hour ago on 9e17d25e7
pushabout 1 hour ago -> 54fa6cc93branchdiff vs base
| Result | Att | PG | Tests | Build / test | Image | When |
|---|---|---|---|---|---|---|
| success | 1 | 20 | 1037 / 1037 | 2m 58s / 5m 25s | docker run ... :t48883 | about 1 hour ago |
run 35517631010executed 1037 - ccache 98 hit / 6524 miss - head 54fa6cc93 - digest sha256:9238e7a39c7787... - run 35517631010 | ||||||
| success | 1 | 20 | 1037 / 1037 | 2m 54s / 5m 35s | docker run ... @sha256:cf3f752... | 1 day ago |
run 35449791898executed 1037 - ccache 98 hit / 6524 miss - head da3924d36 - digest sha256:cf3f752f04a42b... - run 35449791898 | ||||||
| success | 1 | 20 | 1037 / 1037 | 2m 56s / 5m 16s | docker run ... @sha256:e17ef39... | 2 days ago |
run 35358190841executed 1037 - ccache 98 hit / 6524 miss - head ea65ad606 - digest sha256:e17ef39f1b74a4... - run 35358190841 | ||||||
| success | 1 | 20 | 1037 / 1037 | 2m 56s / 5m 15s | docker run ... @sha256:3603908... | 3 days ago |
run 35235473281executed 1037 - ccache 98 hit / 6524 miss - head 233edda51 - digest sha256:36039083b4bffd... - run 35235473281 | ||||||
| success | 1 | 20 | 1037 / 1037 | 2m 20s / 4m 17s | docker run ... @sha256:14c6c42... | 4 days ago |
run 35109254312executed 1037 - ccache 98 hit / 6524 miss - head f281d92d2 - digest sha256:14c6c42c0d359a... - run 35109254312 | ||||||
| success | 1 | 20 | 1037 / 1037 | 2m 47s / 5m 34s | docker run ... @sha256:c894f23... | 5 days ago |
run 34982028287executed 1037 - ccache 98 hit / 6523 miss - head 9796320aa - digest sha256:c894f2392880da... - run 34982028287 | ||||||
| success | 1 | 20 | 1037 / 1037 | 2m 19s / 4m 20s | docker run ... @sha256:d7dd49d... | 6 days ago |
run 34855437285executed 1037 - ccache 98 hit / 6523 miss - head 706ad53db - digest sha256:d7dd49d8cab10b... - run 34855437285 | ||||||
| success | 1 | 20 | 1024 / 1024 | 2m 55s / 5m 19s | docker run ... @sha256:80429ef... | Sep 13, 13:56 |
run 34760728854executed 1024 - ccache 98 hit / 6523 miss - head 632d22f70 - digest sha256:80429efc2115a1... - run 34760728854 | ||||||
| success | 1 | 20 | 1024 / 1024 | 2m 52s / 5m 34s | docker run ... @sha256:9f03bdc... | Sep 12, 13:37 |
run 34696426903executed 1024 - ccache 98 hit / 6523 miss - head 37982b6b2 - digest sha256:9f03bdc9809282... - run 34696426903 | ||||||
| success | 1 | 20 | 1023 / 1023 | 2m 47s / 5m 06s | docker run ... @sha256:4b5cd16... | Sep 11, 13:35 |
run 34604206610executed 1023 - ccache 98 hit / 6523 miss - head 4f90052f2 - digest sha256:4b5cd16ff00056... - run 34604206610 | ||||||
| success | 1 | 20 | 1023 / 1023 | 2m 46s / 5m 09s | docker run ... @sha256:b90de8b... | Sep 10, 13:33 |
run 34482220174executed 1023 - ccache 98 hit / 6523 miss - head 8ddc9a856 - digest sha256:b90de8b3a14f8b... - run 34482220174 | ||||||
| success | 1 | 20 | 1021 / 1021 | 2m 25s / 4m 23s | docker run ... @sha256:c578b42... | Sep 09, 13:27 |
run 34356147908executed 1021 - ccache 98 hit / 6523 miss - head fe10478a5 - digest sha256:c578b420044d06... - run 34356147908 | ||||||
| success | 1 | 20 | 1021 / 1021 | 2m 54s / 5m 15s | docker run ... @sha256:7467fc1... | Sep 08, 13:29 |
run 34230896091executed 1021 - ccache 98 hit / 6523 miss - head 85f41a477 - digest sha256:7467fc1397848b... - run 34230896091 | ||||||
| tests failed | 1 | 20 | 1024 / 1025 | 2m 57s / 7m 51s | docker run ... @sha256:8e3d4b5... | Sep 07, 13:26 |
run 34125956170failed: subscription/035_conflicts executed 1025 - ccache 98 hit / 6527 miss - head 1dce1bed1 - digest sha256:8e3d4b590ec3eb... - run 34125956170 | ||||||
| success | 1 | 20 | 1025 / 1025 | 2m 56s / 5m 19s | docker run ... @sha256:e2b35f5... | Sep 05, 15:22 |
run 33974045053executed 1025 - ccache 98 hit / 6527 miss - head 5a3de1101 - digest sha256:e2b35f5c2d5446... - run 33974045053 | ||||||
| success | 1 | 20 | 1025 / 1025 | 2m 52s / 5m 22s | docker run ... @sha256:76f877f... | Sep 04, 15:22 |
run 33888048976executed 1025 - ccache 98 hit / 6527 miss - head df5959c8a - digest sha256:76f877f4000461... - run 33888048976 | ||||||
| success | 1 | 20 | 1024 / 1024 | 2m 49s / 5m 34s | docker run ... @sha256:f52ea1b... | Sep 03, 15:22 |
run 33771157848executed 1024 - ccache 98 hit / 6526 miss - head 2a3ac30d9 - digest sha256:f52ea1bafaf1c4... - run 33771157848 | ||||||
| success | 1 | 20 | 1023 / 1023 | 2m 40s / 4m 51s | docker run ... @sha256:0ed5945... | Sep 02, 15:21 |
run 33646853953executed 1023 - ccache 98 hit / 6526 miss - head ea96da442 - digest sha256:0ed59458c9c92c... - run 33646853953 | ||||||
| success | 1 | 20 | 1023 / 1023 | 2m 47s / 5m 25s | docker run ... @sha256:9546543... | Sep 01, 15:20 |
run 33524004211executed 1023 - ccache 98 hit / 6526 miss - head 5429b594a - digest sha256:95465436175438... - run 33524004211 | ||||||
| success | 1 | 20 | 1023 / 1023 | 3m 01s / 5m 29s | docker run ... @sha256:fc13e86... | Aug 31, 15:19 |
run 33406718848executed 1023 - ccache 98 hit / 6526 miss - head b3f01a1a1 - digest sha256:fc13e863608f4f... - run 33406718848 | ||||||
| success | 1 | 20 | 1022 / 1022 | 2m 35s / 4m 39s | docker run ... @sha256:1432eb2... | Aug 30, 15:16 |
run 33318741238executed 1022 - ccache 98 hit / 6525 miss - head 182d3baff - digest sha256:1432eb26d06fe9... - run 33318741238 | ||||||
| success | 1 | 20 | 1022 / 1022 | 2m 55s / 5m 16s | docker run ... @sha256:d372353... | Aug 29, 15:16 |
run 33259327441executed 1022 - ccache 98 hit / 6525 miss - head 13312d5f4 - digest sha256:d372353922535a... - run 33259327441 | ||||||
| success | 1 | 20 | 1022 / 1022 | 2m 52s / 5m 29s | docker run ... @sha256:8ae65e0... | Aug 28, 15:16 |
run 33183403570executed 1022 - ccache 98 hit / 6525 miss - head da59a4073 - digest sha256:8ae65e018b2bfc... - run 33183403570 | ||||||
| success | 1 | 20 | 1025 / 1025 | 2m 11s / 4m 44s | docker run ... @sha256:8908a0d... | Aug 25, 15:13 |
run 32863375197executed 1025 - ccache 98 hit / 6525 miss - head efbb871c1 - digest sha256:8908a0d767149c... - run 32863375197 | ||||||
| success | 1 | 20 | 1024 / 1024 | 2m 57s / 5m 22s | docker run ... @sha256:1384f4a... | Aug 24, 15:12 |
run 32742360393executed 1024 - ccache 98 hit / 6525 miss - head a99425f1f - digest sha256:1384f4aaa33677... - run 32742360393 | ||||||
| success | 1 | 20 | 1024 / 1024 | 2m 48s / 4m 41s | docker run ... @sha256:4160c26... | Aug 23, 15:10 |
run 32647218779executed 1024 - ccache 98 hit / 6525 miss - head b03ca6fd9 - digest sha256:4160c26207585a... - run 32647218779 | ||||||
| success | 1 | 20 | 1024 / 1024 | 2m 48s / 5m 37s | docker run ... @sha256:fa2df9a... | Aug 22, 15:10 |
run 32580337494executed 1024 - ccache 98 hit / 6525 miss - head 87e6554b8 - digest sha256:fa2df9acaab67a... - run 32580337494 | ||||||
| success | 1 | 20 | 1024 / 1024 | 2m 51s / 4m 39s | docker run ... @sha256:5dcb3b4... | Aug 21, 15:08 |
run 32495027844executed 1024 - ccache 98 hit / 6525 miss - head 4f0802acb - digest sha256:5dcb3b4b545c74... - run 32495027844 | ||||||
| success | 1 | 20 | 1024 / 1024 | 2m 50s / 5m 10s | docker run ... @sha256:8aaa43d... | Aug 20, 15:07 |
run 32383185725executed 1024 - ccache 98 hit / 6525 miss - head fcefea748 - digest sha256:8aaa43df26aa15... - run 32383185725 | ||||||
| success | 1 | 20 | 1024 / 1024 | 2m 46s / 5m 22s | docker run ... @sha256:cea20c4... | Aug 19, 15:07 |
run 32267051937executed 1024 - ccache 98 hit / 6525 miss - head e4747d285 - digest sha256:cea20c41e22cc5... - run 32267051937 | ||||||
| success | 1 | 20 | 1022 / 1022 | 2m 55s / 4m 57s | docker run ... @sha256:627ae1f... | Aug 18, 15:08 |
run 32151349185executed 1022 - ccache 98 hit / 6525 miss - head 452352759 - digest sha256:627ae1ffc54b19... - run 32151349185 | ||||||