CI: move library proof check below unit tests #245
| Job | Run time |
|---|---|
| 31m 19s | |
| 23m 38s | |
| 27m 44s | |
| 23m 33s | |
| 26m 23s | |
| 31m 19s | |
| 23m 33s | |
| 23m 38s | |
| 21m 47s | |
| 23m 33s | |
| 31m 19s | |
| 23m 38s | |
| 5h 11m 24s |
| Job | Run time |
|---|---|
| 31m 19s | |
| 23m 38s | |
| 27m 44s | |
| 23m 33s | |
| 26m 23s | |
| 31m 19s | |
| 23m 33s | |
| 23m 38s | |
| 21m 47s | |
| 23m 33s | |
| 31m 19s | |
| 23m 38s | |
| 5h 11m 24s |