12 Commits (473dbf8fae31f8bb29ce092f6f16abb267364bb4)

Author SHA1 Message Date
Jesper Håkansson 6af9f22750 chore: Use rust-toolchain@stable 2 years ago
Dirk Stolle 71d3d298fc Replace unmaintained actions-rs/toolchain action in CI workflows 2 years ago
Dirk Stolle 4f132ff70d Update JamesIves/github-pages-deploy-action in GHA workflow to v4.4.1 2 years ago
Dirk Stolle a61a6bc64e Update actions/cache in GitHub Actions workflows to v3 2 years ago
Dirk Stolle 0fea409bb4 Update actions/checkout in GitHub Actions workflows to v3 2 years ago
printfn 556373df30 Update mdbook to v0.4 2 years ago
Tom Parker-Shemilt b3655b86f9 Upgrade mdbook to 0.3 4 years ago
Tom Parker-Shemilt 58ac4f1c51 Cache mdbook 4 years ago
Tom Parker-Shemilt a14035d546 Run book build on all branches 4 years ago
Jesper Håkansson 6f02778d26 chore(ci): Add build and deploy book 4 years ago