Skip to content

Fix GlossaryInfo creation_time type #79

Fix GlossaryInfo creation_time type

Fix GlossaryInfo creation_time type #79

Workflow file for this run

name: docs
on:
push:
branches:
- main
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: crystal-lang/install-crystal@v1
- name: Install dependencies
run: shards install
- name: Generate document
run: crystal docs
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs