[serlib] Fix wrong piercing of Ltac2 AST + test case #2807
Job | Run time |
---|---|
1m 29s | |
3m 49s | |
3m 49s | |
2m 46s | |
3m 41s | |
3m 47s | |
15s | |
55s | |
3m 55s | |
3m 38s | |
3m 50s | |
3m 38s | |
3m 33s | |
39m 5s |
Job | Run time |
---|---|
1m 29s | |
3m 49s | |
3m 49s | |
2m 46s | |
3m 41s | |
3m 47s | |
15s | |
55s | |
3m 55s | |
3m 38s | |
3m 50s | |
3m 38s | |
3m 33s | |
39m 5s |