Commit Graph

22 Commits

Author SHA1 Message Date
dependabot[bot] e052739610 build(deps): bump actions/upload-pages-artifact from 1.0.8 to 1.0.9
Bumps [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact) from 1.0.8 to 1.0.9.
- [Release notes](https://github.com/actions/upload-pages-artifact/releases)
- [Commits](https://github.com/actions/upload-pages-artifact/compare/v1.0.8...v1.0.9)

---
updated-dependencies:
- dependency-name: actions/upload-pages-artifact
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-06-19 10:37:24 +02:00
dependabot[bot] d9bc7acfca build(deps): bump actions/deploy-pages from 2.0.1 to 2.0.2
Bumps [actions/deploy-pages](https://github.com/actions/deploy-pages) from 2.0.1 to 2.0.2.
- [Release notes](https://github.com/actions/deploy-pages/releases)
- [Commits](https://github.com/actions/deploy-pages/compare/v2.0.1...v2.0.2)

---
updated-dependencies:
- dependency-name: actions/deploy-pages
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-06-14 12:04:13 +02:00
Quentin Gliech d5bdf2ab15 ci: pin actions versions 2023-06-13 19:08:48 +02:00
dependabot[bot] 84749e4dae build(deps): bump actions/deploy-pages from 2.0.0 to 2.0.1
Bumps [actions/deploy-pages](https://github.com/actions/deploy-pages) from 2.0.0 to 2.0.1.
- [Release notes](https://github.com/actions/deploy-pages/releases)
- [Commits](https://github.com/actions/deploy-pages/compare/v2.0.0...v2.0.1)

---
updated-dependencies:
- dependency-name: actions/deploy-pages
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-04-18 22:21:06 +02:00
dependabot[bot] 0a82fdf79b build(deps): bump actions/upload-pages-artifact from 1.0.7 to 1.0.8
Bumps [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact) from 1.0.7 to 1.0.8.
- [Release notes](https://github.com/actions/upload-pages-artifact/releases)
- [Commits](https://github.com/actions/upload-pages-artifact/compare/v1.0.7...v1.0.8)

---
updated-dependencies:
- dependency-name: actions/upload-pages-artifact
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-04-14 10:23:23 +02:00
dependabot[bot] 5995d35683 build(deps): bump actions/deploy-pages from 1.2.8 to 2.0.0
Bumps [actions/deploy-pages](https://github.com/actions/deploy-pages) from 1.2.8 to 2.0.0.
- [Release notes](https://github.com/actions/deploy-pages/releases)
- [Commits](https://github.com/actions/deploy-pages/compare/v1.2.8...v2.0.0)

---
updated-dependencies:
- dependency-name: actions/deploy-pages
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-03-21 17:02:01 +01:00
dependabot[bot] 1c472a4c73 build(deps): bump actions/deploy-pages from 1.2.6 to 1.2.8
Bumps [actions/deploy-pages](https://github.com/actions/deploy-pages) from 1.2.6 to 1.2.8.
- [Release notes](https://github.com/actions/deploy-pages/releases)
- [Commits](https://github.com/actions/deploy-pages/compare/v1.2.6...v1.2.8)

---
updated-dependencies:
- dependency-name: actions/deploy-pages
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-03-17 18:41:17 +01:00
Quentin Gliech 6b9550cf36 ci: build rustdoc with a stable toolchain 2023-03-17 17:35:53 +01:00
dependabot[bot] 89f5d23d69 build(deps): bump actions/deploy-pages from 1.2.5 to 1.2.6
Bumps [actions/deploy-pages](https://github.com/actions/deploy-pages) from 1.2.5 to 1.2.6.
- [Release notes](https://github.com/actions/deploy-pages/releases)
- [Commits](https://github.com/actions/deploy-pages/compare/v1.2.5...v1.2.6)

---
updated-dependencies:
- dependency-name: actions/deploy-pages
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-03-16 00:49:21 +01:00
dependabot[bot] ad49d9a17c build(deps): bump actions/deploy-pages from 1.2.4 to 1.2.5
Bumps [actions/deploy-pages](https://github.com/actions/deploy-pages) from 1.2.4 to 1.2.5.
- [Release notes](https://github.com/actions/deploy-pages/releases)
- [Commits](https://github.com/actions/deploy-pages/compare/v1.2.4...v1.2.5)

---
updated-dependencies:
- dependency-name: actions/deploy-pages
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-03-14 12:13:53 +01:00
dependabot[bot] 01b4ab7e10 build(deps): bump actions/deploy-pages from 1.2.3 to 1.2.4
Bumps [actions/deploy-pages](https://github.com/actions/deploy-pages) from 1.2.3 to 1.2.4.
- [Release notes](https://github.com/actions/deploy-pages/releases)
- [Commits](https://github.com/actions/deploy-pages/compare/v1.2.3...v1.2.4)

---
updated-dependencies:
- dependency-name: actions/deploy-pages
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-02-02 11:44:33 +01:00
Quentin Gliech 8f56d8efad ci: Build Storybook docs in CI 2023-01-27 15:46:13 +01:00
Quentin Gliech e8537473a4 docs: link to rustdoc pages from the mdbook 2023-01-27 11:40:19 +01:00
Quentin Gliech 4d0a5d7c5b ci: deploy docs only on push to master 2023-01-27 11:19:48 +01:00
Quentin Gliech f4f292716f ci: fix the docs build 2023-01-27 11:18:11 +01:00
Quentin Gliech 4850c79711 Merge branch 'main' into quenting/storage-repository 2023-01-27 11:16:38 +01:00
Quentin Gliech 1b60c22678 ci: publish docs without pushing to the gh-pages branch 2023-01-27 10:49:41 +01:00
dependabot[bot] 2499ddc296 build(deps): bump peaceiris/actions-gh-pages from 3.9.0 to 3.9.1
Bumps [peaceiris/actions-gh-pages](https://github.com/peaceiris/actions-gh-pages) from 3.9.0 to 3.9.1.
- [Release notes](https://github.com/peaceiris/actions-gh-pages/releases)
- [Changelog](https://github.com/peaceiris/actions-gh-pages/blob/main/CHANGELOG.md)
- [Commits](https://github.com/peaceiris/actions-gh-pages/compare/de7ea6f8efb354206b205ef54722213d99067935...64b46b4226a4a12da2239ba3ea5aa73e3163c75b)

---
updated-dependencies:
- dependency-name: peaceiris/actions-gh-pages
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-01-05 22:32:00 +01:00
dependabot[bot] 2665c7fcf3 Bump peaceiris/actions-gh-pages from 3.8.0 to 3.9.0
Bumps [peaceiris/actions-gh-pages](https://github.com/peaceiris/actions-gh-pages) from 3.8.0 to 3.9.0.
- [Release notes](https://github.com/peaceiris/actions-gh-pages/releases)
- [Changelog](https://github.com/peaceiris/actions-gh-pages/blob/main/CHANGELOG.md)
- [Commits](https://github.com/peaceiris/actions-gh-pages/compare/068dc23d9710f1ba62e86896f84735d869951305...de7ea6f8efb354206b205ef54722213d99067935)

---
updated-dependencies:
- dependency-name: peaceiris/actions-gh-pages
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-10-24 22:03:11 +02:00
dependabot[bot] d91d6180f9 Bump peaceiris/actions-mdbook from 1.1.14 to 1.2.0
Bumps [peaceiris/actions-mdbook](https://github.com/peaceiris/actions-mdbook) from 1.1.14 to 1.2.0.
- [Release notes](https://github.com/peaceiris/actions-mdbook/releases)
- [Changelog](https://github.com/peaceiris/actions-mdbook/blob/main/CHANGELOG.md)
- [Commits](https://github.com/peaceiris/actions-mdbook/compare/4b5ef36b314c2599664ca107bb8c02412548d79d...adeb05db28a0c0004681db83893d56c0388ea9ea)

---
updated-dependencies:
- dependency-name: peaceiris/actions-mdbook
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-10-24 22:02:20 +02:00
dependabot[bot] af26dffc18 Bump actions/checkout from 2 to 3
Bumps [actions/checkout](https://github.com/actions/checkout) from 2 to 3.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v2...v3)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-03-01 21:26:49 +01:00
Quentin Gliech f1b745de31 Build the documentation to GitHub Pages 2021-09-24 19:10:49 +02:00