11 Commits (71d3d298fca5b8695770e2cc165edb476d69d3a3)

Author SHA1 Message Date
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 3 years ago
Dirk Stolle a61a6bc64e Update actions/cache in GitHub Actions workflows to v3 3 years ago
Dirk Stolle 0fea409bb4 Update actions/checkout in GitHub Actions workflows to v3 3 years ago
printfn 556373df30 Update mdbook to v0.4 3 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