- move actions to a correct dir
- remove docs action
(why was I building my own docs in the first place?)
- add prefix `github.com` to github-based actions (i.e. everything
except for `checkout`)
I definitely did all of that on my first try, and this commit is
absolutely not a giant squash
/s
2025-12-22 21:34:28 +00:00
Renamed from .github/workflows/miri.yml (Browse further)
