Files
bottom/scripts
Clement Tsang 0cae59c81b ci: fix missing mike deploy in post-release workflow (#1957)
* ci: fix missing mike deploy in post_release

* remove unnecessary renaming logic while we're here

* fix gh pages workflow since gh-pages is not a valid branch

Looks like I can't trigger things committing things to that branch...?
2026-01-15 19:57:28 -05:00
..
2025-12-24 22:52:50 -05:00