Skip to content

Commit

Permalink
Fix doc build.
Browse files Browse the repository at this point in the history
  • Loading branch information
Dirbaio committed Sep 11, 2024
1 parent a7f42d2 commit 623156d
Show file tree
Hide file tree
Showing 3 changed files with 28 additions and 42 deletions.
22 changes: 22 additions & 0 deletions .github/ci/doc.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
#!/bin/bash
## on push branch=main

set -euxo pipefail

export RUSTUP_HOME=/ci/cache/rustup
export CARGO_HOME=/ci/cache/cargo
export CARGO_TARGET_DIR=/ci/cache/target
export BUILDER_THREADS=4
export BUILDER_COMPRESS=true

# force rustup to download the toolchain before starting building.
# Otherwise, the docs builder is running multiple instances of cargo rustdoc concurrently.
# They all see the toolchain is not installed and try to install it in parallel
# which makes rustup very sad
rustc --version > /dev/null

docserver-builder -i . -o webroot/crates/rp-pac/git.zup

export KUBECONFIG=/ci/secrets/kubeconfig.yml
POD=$(kubectl -n embassy get po -l app=docserver -o jsonpath={.items[0].metadata.name})
kubectl cp webroot/crates $POD:/data
42 changes: 0 additions & 42 deletions .github/workflows/doc.yaml

This file was deleted.

6 changes: 6 additions & 0 deletions rust-toolchain.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
[toolchain]
channel = "nightly-2024-09-06"
targets = [
"thumbv6m-none-eabi",
"thumbv8m.main-none-eabihf",
]

0 comments on commit 623156d

Please sign in to comment.