By: lcnbr <im@lcnbr.ch>
update Symbolica antisymmetric matching
| Time to Start | Worker time | Duration | Time to finish | Idle | |
|---|---|---|---|---|---|
| Config | 2s | 8s | 8s | 10s | 2s |
| Eval | 6s | 40s | 40s | 47s | 0s |
| Build | 39s | 2h35m08s | 56m03s | 56m43s | 18s |
| Test | 1m02s | 18m40s | 56m44s | 57m47s | 0s |
| Deploy | - | - | - | - | 96h37m40s |
| Suite | 2s | 2h54m37s | - | - | 96h38m01s |