Hugh Nimmo-Smith
|
120f08d8c4
|
Run syn2mas CI as part of main workflows
|
2023-10-09 15:53:13 +02:00 |
|
Hugh Nimmo-Smith
|
522c6035d2
|
WIP of syn2mas tool
|
2023-10-09 15:53:13 +02:00 |
|
dependabot[bot]
|
82e39331c9
|
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]
|
89c9563f02
|
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]
|
25df547f9f
|
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]
|
2405a3c061
|
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]
|
b5c289d148
|
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]
|
8b5a75744f
|
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]
|
6d745f9ff4
|
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]
|
5181bef6c8
|
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
|
3c3d4c2733
|
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
|
b9ba1bedbc
|
ci: use script to build the docs
|
2023-07-27 17:51:08 +02:00 |
|
Quentin Gliech
|
ca8c05ef8b
|
ci: remove the rustdoc lockfile
|
2023-07-18 12:14:40 +02:00 |
|
Quentin Gliech
|
3377d6cb51
|
ci: fix the docs permissions
|
2023-07-18 11:20:00 +02:00 |
|
Quentin Gliech
|
c8bf4c89b7
|
ci: fix the docs files permissions
|
2023-07-18 11:17:18 +02:00 |
|
Quentin Gliech
|
60899bf131
|
Bump rustc, nodejs, opa, etc.
|
2023-07-17 19:54:49 +02:00 |
|
dependabot[bot]
|
2246a1634a
|
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]
|
c0e5a9c6f7
|
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]
|
6cae2adc08
|
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]
|
ad67906d7f
|
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]
|
00ea31b9c9
|
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]
|
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 |
|