Adapt to coq/coq#19620 (Global.push_context_set no strict argument) #64
Job | Run time |
---|---|
1m 1s | |
1m 35s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
2m 36s |
Job | Run time |
---|---|
1m 1s | |
1m 35s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
2m 36s |