dependabot[bot]
|
4ffc91efcc
|
build(deps): bump actions/deploy-pages from 4.0.4 to 4.0.5
Bumps [actions/deploy-pages](https://github.com/actions/deploy-pages) from 4.0.4 to 4.0.5.
- [Release notes](https://github.com/actions/deploy-pages/releases)
- [Commits](https://github.com/actions/deploy-pages/compare/v4.0.4...v4.0.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>
|
2024-03-18 18:54:48 +01:00 |
|
dependabot[bot]
|
6b0f2d48f6
|
build(deps): bump actions/checkout from 4.1.1 to 4.1.2
Bumps [actions/checkout](https://github.com/actions/checkout) from 4.1.1 to 4.1.2.
- [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.1...v4.1.2)
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2024-03-18 13:58:15 +01:00 |
|
dependabot[bot]
|
87bcf08c2c
|
build(deps): bump actions/setup-node from 4.0.1 to 4.0.2
Bumps [actions/setup-node](https://github.com/actions/setup-node) from 4.0.1 to 4.0.2.
- [Release notes](https://github.com/actions/setup-node/releases)
- [Commits](https://github.com/actions/setup-node/compare/v4.0.1...v4.0.2)
---
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-27 14:01:36 +01:00 |
|
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 |
|