By: lcnbr <im@lcnbr.ch>
update Symbolica antisymmetric matching
| Time to Start | Worker time | Duration | Time to finish | Idle | |
|---|---|---|---|---|---|
| Config | 2s | 12s | 12s | 14s | 2s |
| Eval | 11s | 41s | 41s | 52s | 0s |
| Build | 44s | 1h09m14s | - | - | 3s |
| Test | 1m06s | 10m32s | - | - | 0s |
| Deploy | - | - | - | - | 98h19m29s |
| Suite | 2s | 1h20m39s | - | - | 98h19m36s |