Bump Agda *2.6.3 -> 2.6.4 #631
Job | Run time |
---|---|
5m 45s | |
6m 7s | |
5m 39s | |
5m 41s | |
5m 51s | |
5m 50s | |
5m 50s | |
5m 56s | |
5m 53s | |
5m 52s | |
2m 46s | |
3m 13s | |
0s | |
0s | |
1h 4m 23s |
Job | Run time |
---|---|
5m 45s | |
6m 7s | |
5m 39s | |
5m 41s | |
5m 51s | |
5m 50s | |
5m 50s | |
5m 56s | |
5m 53s | |
5m 52s | |
2m 46s | |
3m 13s | |
0s | |
0s | |
1h 4m 23s |