|
|
Continuing the trend of shifting away from GitHub services. Depot is
faster, and more reliable.
Avoiding docker + release workflows for now, as those have been a pain
in the ass to get correct.
Will check and see if we can ensure the logs/etc can be public.
I'm going to merge this, see how well it works, and if we're good delete
the matching github workflows
<!-- Thank you for making a PR! Bug fixes are always welcome, but if
you're adding a new feature or changing an existing one, we'd really
appreciate if you open an issue, post on the forum, or drop in on
Discord -->
## Checks
- [ ] I am happy for maintainers to push small adjustments to this PR,
to speed up the review cycle
- [ ] I have checked that there are no existing pull requests for the
same thing
|
