Skip to content

Merge pull request #2 from geocrystal/adjust-earth-radius #7

Merge pull request #2 from geocrystal/adjust-earth-radius

Merge pull request #2 from geocrystal/adjust-earth-radius #7

Workflow file for this run

name: website
on:
push:
branches: [ master ]
jobs:
publish:
runs-on: ubuntu-latest
container:
image: crystallang/crystal
steps:
- uses: actions/checkout@v2
- name: Install dependencies
run: shards install --ignore-crystal-version
- name: Generate documentation
run: crystal docs
-
name: Deploy to GitHub Pages
if: success()
uses: crazy-max/ghaction-github-pages@v2
with:
target_branch: gh-pages
build_dir: docs
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}