Commit graph

2 commits

Author SHA1 Message Date
Rohan McGovern
e5543a3454 [ci] fix install of OS packages in CI workflows
We should be using "apt-get update" to update package lists before
installing any new packages. This has never mattered before, but
recently the installation of various packages started to fail with
404 errors, which are resolved by updating the package lists first.
2023-11-14 08:53:44 +10:00
Rohan McGovern
26fef80779 actions: add workflow for publishing docs 2022-08-15 09:06:35 +10:00