By: lcnbr <im@lcnbr.ch>
update Symbolica antisymmetric matching
| Time to Start | Worker time | Duration | Time to finish | Idle | |
|---|---|---|---|---|---|
| Config | 2s | 3s | 3s | 6s | 2s |
| Eval | 4s | 48s | 48s | 53s | 0s |
| Build | 48s | 2h17m44s | - | - | 10s |
| Test | 6m06s | 14m32s | - | - | 0s |
| Deploy | - | - | - | - | 97h35m25s |
| Suite | 2s | 2h33m08s | - | - | 97h35m37s |