By: lcnbr <im@lcnbr.ch>
update Symbolica antisymmetric matching
| Time to Start | Worker time | Duration | Time to finish | Idle | |
|---|---|---|---|---|---|
| Config | 2s | 6s | 6s | 9s | 2s |
| Eval | 8s | 54s | 54s | 1m03s | 0s |
| Build | 57s | 4h19m43s | - | - | 0s |
| Test | 11m36s | 20m04s | - | - | 0s |
| Deploy | - | - | - | - | 98h37m55s |
| Suite | 2s | 4h40m49s | - | - | 98h37m58s |