Fixes to metatheory-site.yml workflow (#6228)
#600
| Job | Run time |
|---|---|
| 1h 43m 0s | |
| 1h 43m 0s |
metatheory-site.yml workflow (#6228)
#600
| Job | Run time |
|---|---|
| 1h 43m 0s | |
| 1h 43m 0s |