Martin Geisler 3b7123d21a Add language picker menu (#411) ... The picker is a drop-down menu using the same design as the theme picker in the top-left. There doesn’t seem to be an easy way to pass in a list of languages and descriptions, so for now we’ll have to expand the menu by hand as we add new languages. A comment has been added to `publish.yml` to remind us of this.		2023-02-15 15:10:16 +01:00
..
install-mdbook	Extract common build steps to composite actions (#242)	2023-01-23 17:08:29 +01:00
setup-rust-cache	Add a cargo workspace containing both crates (#321)	2023-02-02 16:14:34 +00:00
build.yml	Upload build output as artifacts (#342)	2023-02-06 17:20:32 +01:00
publish.yml	Add language picker menu (#411)	2023-02-15 15:10:16 +01:00