Skip to content

Update release notes for 0.20 (#680) #208

Update release notes for 0.20 (#680)

Update release notes for 0.20 (#680) #208

Workflow file for this run

name: deploy
on:
push:
branches:
- master
concurrency:
group: deploy
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v6
- run: cargo install mdbook --version 0.5.2
- name: Patch sample Cargo.toml versions
run: |
export DIFFERENTIAL_VERSION=$(cargo metadata --format-version 1 | jq -r '.packages[] | select(.name == "differential-dataflow") | .version')
export TIMELY_VERSION=$(cargo metadata --format-version 1 | jq -r '.packages[] | select(.name == "timely") | .version')
sed -i "s/^differential-dataflow = .*/differential-dataflow = \"=$DIFFERENTIAL_VERSION\"/" mdbook/src/chapter_0/chapter_0_0.md
sed -i "s/^timely = .*/timely = \"=$TIMELY_VERSION\"/" mdbook/src/chapter_0/chapter_0_0.md
- run: cd mdbook && mdbook build
- uses: JamesIves/github-pages-deploy-action@v4
with:
branch: gh-pages
folder: mdbook/book