Commit Graph

9 Commits

Author SHA1 Message Date
Eric Huss 9497354cfd Rewrite asset deploy.
This switches to `gh` which is the more modern CLI, and also
available by default which removes the old installer script.

This also tightens the scope where GITHUB_TOKEN is exposed to just
the step where `gh` is executed.

Finally, it tightens the permissions on the GITHUB_TOKEN (though
`contents: write` is extremely permissive, since that allows writing to
almost anything in the repo).
2023-07-16 17:16:15 -07:00
Eric Huss baa936439d deploy: Set the default shell so it doesn't need to be repeated. 2023-07-16 17:12:55 -07:00
Eric Huss 394061d28d Rename make-release.sh to make-release-asset.sh
This is to better reflect what the script does.
2023-07-16 17:12:29 -07:00
Eric Huss cd907f2edf Switch to older ubuntu image 2022-12-15 05:52:15 -08:00
gifnksm 4ebefeb43a Deploy {x86_64,aarch64}-unknown-linux-musl binary 2022-07-23 00:37:18 +09:00
Camelid b77942d3c8
Rename `book-example` to `guide` (#1336)
`book-example` is a bit of a strange name given that it's not just an
example.
2020-09-23 03:16:09 +02:00
Eric Huss 2ee083dfbe Fix CI: Don't update rustup. 2020-01-27 13:46:42 -08:00
Eric Huss 2498887dfc Fix gh-pages deploy. 2019-10-21 13:41:06 -07:00
Eric Huss fc4236eaa7 Switch to GitHub Actions. 2019-10-21 10:43:27 -07:00