Docker-Coq CI #591
Job | Run time |
---|---|
4m 30s | |
2m 56s | |
2m 41s | |
2m 59s | |
7m 9s | |
4m 38s | |
2m 53s | |
7m 18s | |
2m 59s | |
3m 5s | |
2m 51s | |
2m 32s | |
3m 4s | |
2m 52s | |
3m 13s | |
55m 40s |
Job | Run time |
---|---|
4m 30s | |
2m 56s | |
2m 41s | |
2m 59s | |
7m 9s | |
4m 38s | |
2m 53s | |
7m 18s | |
2m 59s | |
3m 5s | |
2m 51s | |
2m 32s | |
3m 4s | |
2m 52s | |
3m 13s | |
55m 40s |