[serlib] Fix wrong piercing of Ltac2 AST + test case #2809
Job | Run time |
---|---|
9m 14s | |
14s | |
8m 16s | |
1m 31s | |
48s | |
8m 37s | |
3m 1s | |
8m 52s | |
9m 34s | |
8m 53s | |
9m 5s | |
10m 45s | |
17m 51s | |
1h 36m 41s |
Job | Run time |
---|---|
9m 14s | |
14s | |
8m 16s | |
1m 31s | |
48s | |
8m 37s | |
3m 1s | |
8m 52s | |
9m 34s | |
8m 53s | |
9m 5s | |
10m 45s | |
17m 51s | |
1h 36m 41s |