Skip to content

Moving Redis backends to separate shards (#90) #36

Moving Redis backends to separate shards (#90)

Moving Redis backends to separate shards (#90) #36

Workflow file for this run

name: Deploy docs
on:
push:
branches: [master]
jobs:
deploy:
runs-on: ubuntu-latest
container:
image: crystallang/crystal:latest
steps:
- uses: actions/checkout@v4
with:
persist-credentials: false
- name: "Install shards"
run: shards install
- name: "Generate docs"
run: crystal docs
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs