Skip to content

Make vertical scroll by pixels instead of layout lines #223

Make vertical scroll by pixels instead of layout lines

Make vertical scroll by pixels instead of layout lines #223

Workflow file for this run

name: Pages
on:
push:
branches:
- main
jobs:
pages:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Build documentation
run: cargo doc --verbose
- name: Deploy documentation
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./target/doc