7 Commits

Author SHA1 Message Date
Clement Tsang 056748ba9f ci: tweak workflow permissions more (#2026)
* ci: fix clear cache workflow permissions

* fix perms for deployment/nightly

* more finely scope other tasks

* fix nightly

* change name

* fix docs permissions
2026-04-11 22:50:03 +00:00
Clement Tsang 53f0236050 ci: migrate from cirrus for 2.17 to cross (#2022)
* ci: migrate from cirrus for 2.17 to cross

CirrusCI is going to be stopped soon after the OAI acquisition, so we're
on a clock to move away from it. Thankfully, we only use it for 2.17
builds for CentOS.

Looks like supporting 2.17 is natively supported by cross
(https://github.com/cross-rs/cross/issues/680), so this PR tries to use
that to do it instead.

* it's uppercase

* use older version

* revert + pin version

* typo

* allow overriding artifact name

* update comment
2026-04-11 21:09:39 +00:00
Clement Tsang 13a36016ed ci: update rust-cache and actions/checkout with node 24 support (#2024)
Progressively updating more GHA things to work with node24.
2026-04-11 16:52:16 -04:00
Clement Tsang d921527d8b ci: use native ARM runners w/o cross for aarch64-unknown-linux-gnu jobs (#1988)
* ci: don't use cross for aarch64-unknown-linux-gnu

* also use ubuntu-24.04 everywhere

* fix build-deb too

* fix musl too

* yeah we can use native arm for container for deb step for musl

* fix musl issues
2026-02-26 21:59:15 -05:00
Clement Tsang 72db12304a ci: fix nightly prune not working (#1961)
* ci: fix nightly prune not working

This change makes it so we keep the last three nightly runs + prune
anything that was created today.

Tested by just running it manually.

* driveby to only run the ghp deploy on main
2026-01-16 02:16:54 -05:00
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
Clement Tsang b5b55ddc8c docs: also publish docs to github pages (#1955)
* docs: also publish docs to github pages

So just in case people can't access the Cloudflare Pages docs,
they can still access the GitHub ones.

* temporarily add to PR as trigger to test

* ok
2026-01-15 19:30:39 -05:00