Commit Graph

52 Commits

Author SHA1 Message Date
dependabot[bot]
5fee39983e build(deps): bump actions/upload-pages-artifact from 3.0.0 to 3.0.1
Bumps [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact) from 3.0.0 to 3.0.1.
- [Release notes](https://github.com/actions/upload-pages-artifact/releases)
- [Commits](https://github.com/actions/upload-pages-artifact/compare/v3.0.0...v3.0.1)

---
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>
2024-02-27 14:01:24 +01:00
dependabot[bot]
162fd44ec5 build(deps): bump actions/deploy-pages from 4.0.3 to 4.0.4
Bumps [actions/deploy-pages](https://github.com/actions/deploy-pages) from 4.0.3 to 4.0.4.
- [Release notes](https://github.com/actions/deploy-pages/releases)
- [Commits](https://github.com/actions/deploy-pages/compare/v4.0.3...v4.0.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>
2024-02-08 15:31:10 +01:00
dependabot[bot]
a408fd368c build(deps): bump actions/upload-pages-artifact from 2.0.0 to 3.0.0
Bumps [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact) from 2.0.0 to 3.0.0.
- [Release notes](https://github.com/actions/upload-pages-artifact/releases)
- [Commits](https://github.com/actions/upload-pages-artifact/compare/v2.0.0...v3.0.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
2024-02-02 23:45:42 +01:00
dependabot[bot]
ce5e327c8c build(deps): bump actions/deploy-pages from 2.0.4 to 4.0.3
Bumps [actions/deploy-pages](https://github.com/actions/deploy-pages) from 2.0.4 to 4.0.3.
- [Release notes](https://github.com/actions/deploy-pages/releases)
- [Commits](https://github.com/actions/deploy-pages/compare/v2.0.4...v4.0.3)

---
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>
2024-02-02 23:45:26 +01:00
dependabot[bot]
bc0d99bef1 build(deps): bump mozilla-actions/sccache-action from 0.0.3 to 0.0.4
Bumps [mozilla-actions/sccache-action](https://github.com/mozilla-actions/sccache-action) from 0.0.3 to 0.0.4.
- [Release notes](https://github.com/mozilla-actions/sccache-action/releases)
- [Commits](https://github.com/mozilla-actions/sccache-action/compare/v0.0.3...v0.0.4)

---
updated-dependencies:
- dependency-name: mozilla-actions/sccache-action
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2024-02-02 19:15:23 +01:00
dependabot[bot]
1f68d2c2bc build(deps): bump actions/setup-node from 4.0.0 to 4.0.1
Bumps [actions/setup-node](https://github.com/actions/setup-node) from 4.0.0 to 4.0.1.
- [Release notes](https://github.com/actions/setup-node/releases)
- [Commits](https://github.com/actions/setup-node/compare/v4.0.0...v4.0.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
2024-02-02 18:57:11 +01:00
dependabot[bot]
7e9385a241 build(deps): bump actions/checkout from 4.1.0 to 4.1.1
Bumps [actions/checkout](https://github.com/actions/checkout) from 4.1.0 to 4.1.1.
- [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/v4.1.0...v4.1.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-10-23 23:15:54 +02:00
dependabot[bot]
f9e05a217e build(deps): bump actions/setup-node from 3.8.1 to 4.0.0
Bumps [actions/setup-node](https://github.com/actions/setup-node) from 3.8.1 to 4.0.0.
- [Release notes](https://github.com/actions/setup-node/releases)
- [Commits](https://github.com/actions/setup-node/compare/v3.8.1...v4.0.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-10-23 23:01:36 +02:00
Quentin Gliech
eec156c701 ci: switch to sccache for Rust compilation cache 2023-10-20 10:21:21 +02:00
Hugh Nimmo-Smith
74d0910eed Run syn2mas CI as part of main workflows 2023-10-09 15:53:13 +02:00
Hugh Nimmo-Smith
38ed5e264e WIP of syn2mas tool 2023-10-09 15:53:13 +02:00
dependabot[bot]
2cec515e32 build(deps): bump actions/checkout from 4.0.0 to 4.1.0
Bumps [actions/checkout](https://github.com/actions/checkout) from 4.0.0 to 4.1.0.
- [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/v4.0.0...v4.1.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-09-22 22:32:20 +02:00
dependabot[bot]
da3615dd75 build(deps): bump Swatinem/rust-cache from 2.6.2 to 2.7.0
Bumps [Swatinem/rust-cache](https://github.com/swatinem/rust-cache) from 2.6.2 to 2.7.0.
- [Release notes](https://github.com/swatinem/rust-cache/releases)
- [Changelog](https://github.com/Swatinem/rust-cache/blob/master/CHANGELOG.md)
- [Commits](https://github.com/swatinem/rust-cache/compare/v2.6.2...v2.7.0)

---
updated-dependencies:
- dependency-name: Swatinem/rust-cache
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-09-13 09:41:28 +02:00
dependabot[bot]
adfea4811a build(deps): bump actions/checkout from 3.6.0 to 4.0.0
Bumps [actions/checkout](https://github.com/actions/checkout) from 3.6.0 to 4.0.0.
- [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/v3.6.0...v4.0.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-09-05 10:11:53 +02:00
dependabot[bot]
92f4d73438 build(deps): bump actions/checkout from 3.5.3 to 3.6.0
Bumps [actions/checkout](https://github.com/actions/checkout) from 3.5.3 to 3.6.0.
- [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/v3.5.3...v3.6.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-08-25 12:33:48 +02:00
dependabot[bot]
62fb9261b2 build(deps): bump actions/setup-node from 3.7.0 to 3.8.1
Bumps [actions/setup-node](https://github.com/actions/setup-node) from 3.7.0 to 3.8.1.
- [Release notes](https://github.com/actions/setup-node/releases)
- [Commits](https://github.com/actions/setup-node/compare/v3.7.0...v3.8.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-08-23 14:46:54 +02:00
dependabot[bot]
61576692b3 build(deps): bump Swatinem/rust-cache from 2.6.0 to 2.6.2
Bumps [Swatinem/rust-cache](https://github.com/swatinem/rust-cache) from 2.6.0 to 2.6.2.
- [Release notes](https://github.com/swatinem/rust-cache/releases)
- [Changelog](https://github.com/Swatinem/rust-cache/blob/master/CHANGELOG.md)
- [Commits](https://github.com/swatinem/rust-cache/compare/v2.6.0...v2.6.2)

---
updated-dependencies:
- dependency-name: Swatinem/rust-cache
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-08-23 12:07:27 +02:00
dependabot[bot]
2c202b8dd5 build(deps): bump actions/deploy-pages from 2.0.3 to 2.0.4
Bumps [actions/deploy-pages](https://github.com/actions/deploy-pages) from 2.0.3 to 2.0.4.
- [Release notes](https://github.com/actions/deploy-pages/releases)
- [Commits](https://github.com/actions/deploy-pages/compare/v2.0.3...v2.0.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-08-11 16:15:26 +02:00
dependabot[bot]
858aae3c62 build(deps): bump Swatinem/rust-cache from 2.5.1 to 2.6.0
Bumps [Swatinem/rust-cache](https://github.com/swatinem/rust-cache) from 2.5.1 to 2.6.0.
- [Release notes](https://github.com/swatinem/rust-cache/releases)
- [Changelog](https://github.com/Swatinem/rust-cache/blob/master/CHANGELOG.md)
- [Commits](https://github.com/swatinem/rust-cache/compare/v2.5.1...v2.6.0)

---
updated-dependencies:
- dependency-name: Swatinem/rust-cache
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-08-03 15:14:51 +02:00
Quentin Gliech
a94ba97b5b ci: cache less things to make it more efficient
also removes the jobs for testing with Rust beta and nightly
2023-07-27 18:03:33 +02:00
Quentin Gliech
a8544467b2 ci: use script to build the docs 2023-07-27 17:51:08 +02:00
Quentin Gliech
34de74c3d3 ci: remove the rustdoc lockfile 2023-07-18 12:14:40 +02:00
Quentin Gliech
f6f8bf4239 ci: fix the docs permissions 2023-07-18 11:20:00 +02:00
Quentin Gliech
83cd0c4c6c ci: fix the docs files permissions 2023-07-18 11:17:18 +02:00
Quentin Gliech
fa824dbb76 Bump rustc, nodejs, opa, etc. 2023-07-17 19:54:49 +02:00
dependabot[bot]
06f309786e build(deps): bump actions/deploy-pages from 2.0.2 to 2.0.3
Bumps [actions/deploy-pages](https://github.com/actions/deploy-pages) from 2.0.2 to 2.0.3.
- [Release notes](https://github.com/actions/deploy-pages/releases)
- [Commits](https://github.com/actions/deploy-pages/compare/v2.0.2...v2.0.3)

---
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-07-17 18:43:02 +02:00
dependabot[bot]
7cd3adafea build(deps): bump actions/upload-pages-artifact from 1.0.9 to 2.0.0
Bumps [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact) from 1.0.9 to 2.0.0.
- [Release notes](https://github.com/actions/upload-pages-artifact/releases)
- [Commits](https://github.com/actions/upload-pages-artifact/compare/v1.0.9...v2.0.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-07-17 18:42:54 +02:00
dependabot[bot]
1ae70cce18 build(deps): bump actions/setup-node from 3.6.0 to 3.7.0
Bumps [actions/setup-node](https://github.com/actions/setup-node) from 3.6.0 to 3.7.0.
- [Release notes](https://github.com/actions/setup-node/releases)
- [Commits](https://github.com/actions/setup-node/compare/v3.6.0...v3.7.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-07-06 08:16:37 +02:00
dependabot[bot]
572a38f884 build(deps): bump Swatinem/rust-cache from 2.5.0 to 2.5.1
Bumps [Swatinem/rust-cache](https://github.com/swatinem/rust-cache) from 2.5.0 to 2.5.1.
- [Release notes](https://github.com/swatinem/rust-cache/releases)
- [Changelog](https://github.com/Swatinem/rust-cache/blob/master/CHANGELOG.md)
- [Commits](https://github.com/swatinem/rust-cache/compare/v2.5.0...v2.5.1)

---
updated-dependencies:
- dependency-name: Swatinem/rust-cache
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-07-04 00:58:49 +02:00
dependabot[bot]
583ff6931b build(deps): bump Swatinem/rust-cache from 2.4.0 to 2.5.0
Bumps [Swatinem/rust-cache](https://github.com/Swatinem/rust-cache) from 2.4.0 to 2.5.0.
- [Release notes](https://github.com/Swatinem/rust-cache/releases)
- [Changelog](https://github.com/Swatinem/rust-cache/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Swatinem/rust-cache/compare/v2.4.0...v2.5.0)

---
updated-dependencies:
- dependency-name: Swatinem/rust-cache
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-06-20 18:14:11 +02:00
dependabot[bot]
0d15679aa4 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]
439f485cee 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
7784e0f14f ci: pin actions versions 2023-06-13 19:08:48 +02:00
dependabot[bot]
8e5eb4b13d 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]
5132da49c5 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]
a34b5690cb 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]
7f627161cf 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
ff5266b8b7 ci: build rustdoc with a stable toolchain 2023-03-17 17:35:53 +01:00
dependabot[bot]
6a77f6f4a6 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]
f689411177 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]
70d4b23379 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
bcea592c04 ci: Build Storybook docs in CI 2023-01-27 15:46:13 +01:00
Quentin Gliech
8b1f64d793 docs: link to rustdoc pages from the mdbook 2023-01-27 11:40:19 +01:00
Quentin Gliech
855178a613 ci: deploy docs only on push to master 2023-01-27 11:19:48 +01:00
Quentin Gliech
f1536b35e3 ci: fix the docs build 2023-01-27 11:18:11 +01:00
Quentin Gliech
f784189c23 Merge branch 'main' into quenting/storage-repository 2023-01-27 11:16:38 +01:00
Quentin Gliech
f2bc613d5c ci: publish docs without pushing to the gh-pages branch 2023-01-27 10:49:41 +01:00
dependabot[bot]
c9cd9131e5 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](de7ea6f8ef...64b46b4226)

---
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]
9c9f27b05d 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](068dc23d97...de7ea6f8ef)

---
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]
001d6d130e 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](4b5ef36b31...adeb05db28)

---
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