Martin Geisler 2ddd7770f4

No need to run apt update before apt install (#634) ...

The VMs on GitHub have updated APT caches.

2023-05-24 15:58:34 -04:00

..

install-mdbook

Run exerciser as mdbook renderer.

2023-04-05 16:28:07 +01:00

setup-rust-cache

Remove unnecessary cache key (#586)

2023-04-27 13:25:02 -04:00

build.yml

No need to run apt update before apt install (#634)

2023-05-24 15:58:34 -04:00

publish.yml

Publish the in-progress Italian translation (#645)

2023-05-19 14:25:51 +02:00