Skip to content

Commit 82cc17c

Browse files
committed
Merge remote-tracking branch 'origin/generic-extraction-tree-creation' into generic-extraction-row-id-update
2 parents 5ce5ca5 + 322280b commit 82cc17c

File tree

126 files changed

+1373
-1481
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

126 files changed

+1373
-1481
lines changed

.github/workflows/doc.yml

+54
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,54 @@
1+
name: Generate cargo docs
2+
3+
# Only generate docs on main
4+
on:
5+
push:
6+
branches: [ "main" ]
7+
8+
jobs:
9+
docs:
10+
name: Docs
11+
runs-on: ubuntu-latest
12+
steps:
13+
- name: Checkout repository
14+
uses: actions/checkout@v4
15+
16+
- name: Setup Rust
17+
uses: dtolnay/rust-toolchain@stable
18+
19+
- name: Configure cache
20+
uses: Swatinem/rust-cache@v2
21+
22+
- name: Setup pages
23+
id: pages
24+
uses: actions/configure-pages@v4
25+
26+
- name: Clean docs folder
27+
run: cargo clean --doc
28+
29+
- name: Build docs
30+
run: cargo doc --no-deps
31+
32+
- name: Remove lock file
33+
run: rm target/doc/.lock
34+
35+
- name: Upload artifact
36+
uses: actions/upload-pages-artifact@v3
37+
with:
38+
path: target/doc
39+
40+
deploy:
41+
name: Deploy
42+
runs-on: ubuntu-latest
43+
needs: docs
44+
# Grant GITHUB_TOKEN the permissions required to make a Pages deployment
45+
permissions:
46+
pages: write # to deploy to Pages
47+
id-token: write # to verify the deployment originates from an appropriate source
48+
environment:
49+
name: github-pages
50+
url: ${{ steps.deployment.outputs.page_url }}
51+
steps:
52+
- name: Deploy to GitHub Pages
53+
id: deployment
54+
uses: actions/deploy-pages@v4

.github/workflows/rust.yml

+34-29
Original file line numberDiff line numberDiff line change
@@ -8,42 +8,47 @@ on:
88
name: Check, Test, and Format
99

1010
jobs:
11-
fmt:
12-
runs-on: ['memory:8GB']
11+
base:
12+
name: build base
13+
runs-on: ['hostname:hetzner-dedicated-6']
14+
outputs:
15+
RUNNER: ${{ steps.get-label.outputs.runner_name }}
1316
steps:
14-
- name: Checkout sources
15-
uses: actions/checkout@v4
16-
- name: Install devenv
17+
- name: Get Runner Label
18+
id: get-label
1719
run: |
18-
if [ -e /nix/var/nix/profiles/default/bin/nix-env ]
19-
then
20-
/nix/var/nix/profiles/default/bin/nix-env -if https://github.com/cachix/devenv/tarball/latest
20+
if [[ "${{ runner.name }}" == *"@hetzner-dedicated-6" ]]; then
21+
echo "runner_name=hostname:hetzner-dedicated-6" >> $GITHUB_OUTPUT
2122
else
22-
nix-env -if https://github.com/cachix/devenv/tarball/latest
23+
echo "runner_name=nix-128g" >> $GITHUB_OUTPUT
2324
fi
24-
echo "$HOME/.nix-profile/bin" >> $GITHUB_PATH
25-
- name: Run cargo test
26-
shell: devenv shell bash -- -e {0}
27-
run: cargo fmt --all -- --check #
25+
- name: Cleanup docker build cache
26+
run: |
27+
docker system prune --force
28+
docker builder prune --all --force
29+
- name: Checkout code
30+
uses: actions/checkout@v4
2831

29-
check:
30-
name: Check
31-
runs-on: ['memory:8GB']
32+
- name: Build base
33+
env:
34+
DOCKER_BUILDKIT: 1
35+
run: |
36+
docker build --tag base --file docker/base/Dockerfile . --platform linux/amd64 --build-arg INSTRUCTION_SET="x86-64-v3"
37+
clippy-fmt-check:
38+
needs: base
39+
runs-on: ${{needs.base.outputs.RUNNER}}
3240
steps:
33-
- name: Checkout sources
34-
uses: actions/checkout@v4
35-
- name: Install devenv
41+
42+
- name: clippy
3643
run: |
37-
if [ -e /nix/var/nix/profiles/default/bin/nix-env ]
38-
then
39-
/nix/var/nix/profiles/default/bin/nix-env -if https://github.com/cachix/devenv/tarball/latest
40-
else
41-
nix-env -if https://github.com/cachix/devenv/tarball/latest
42-
fi
43-
echo "$HOME/.nix-profile/bin" >> $GITHUB_PATH
44-
- name: Run cargo check
45-
shell: devenv shell bash -- -e {0}
46-
run: cargo check --tests
44+
docker run --rm base cargo clippy --all-targets --all -- -D warnings -A incomplete-features -A clippy::needless_return -A clippy::too_long_first_doc_paragraph -A clippy::await_holding_lock
45+
- name: fmt
46+
run: |
47+
docker run --rm base cargo fmt --all -- --check
48+
- name: check
49+
run: |
50+
docker run --rm base cargo check --tests
51+
4752
4853
test:
4954
name: Test Suite

0 commit comments

Comments
 (0)