Uh oh!
There was an error while loading.Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork939
Bump Vampire/setup-wsl from 5.0.0 to 5.0.1#2023
| Job | Run time |
|---|---|
| 2m 16s | |
| 2m 13s | |
| 2m 28s | |
| 2m 21s | |
| 2m 36s | |
| 2m 17s | |
| 2m 43s | |
| 3m 3s | |
| 2m 11s | |
| 2m 23s | |
| 2m 49s | |
| 1m 45s | |
| 1m 40s | |
| 6m 20s | |
| 5m 45s | |
| 5m 58s | |
| 6m 43s | |
| 6m 20s | |
| 2m 17s | |
| 5m 17s | |
| 1h 9m 25s |