6c5d199d57
This updates all the deploy scripts and the deploy workflow. The deploy workflow now runs the metadata collector to collect the lint documentation. It also changes the files that are checked out in the deploy workflow from master and adds an explanation why we have to do this. |
||
|---|---|---|
| .. | ||
| clippy_bors.yml | ||
| clippy_dev.yml | ||
| clippy.yml | ||
| deploy.yml | ||
| remark.yml | ||