main.yml

name: CI

on:
  push:
    branches:
    - src
  schedule:
    # Once a day at 9am run the build
    - cron:  '0 9 * * *'
  workflow_dispatch:

jobs:
  publish:
    name: Publish
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v4
    - uses: ruby/setup-ruby@v1
      with:
        ruby-version: '2'
    - name: Install Rust
      run: rustup update stable && rustup default stable
    - run: gem install bundler -v 1.16.5 && bundle install --retry=3 --jobs=4
    - run: cargo install mdbook --version 0.2.3 --no-default-features
    - run: ./ci/build.sh

    - name: Push to gh-pages
      run: |
        cd _site
        git init
        git add .
        git -c user.name='ci' -c user.email='ci' commit -m init
        git push -f -q https://git:${{ secrets.github_token }}@github.com/${{ github.repository }} HEAD:master