Skip to content

docs+ci: document local builds, remove the dead build script, pin actions - #128

Open
Bjordis Collaku (bjordiscollaku) wants to merge 4 commits into
mainfrom
ci/phase1-docs-and-pinning
Open

Bjordis Collaku (bjordiscollaku) wants to merge 4 commits into
mainfrom
ci/phase1-docs-and-pinning