Skip to content

update the docs directory #7

update the docs directory

update the docs directory #7

name: Publish Workshop Material
on:
push:
branches:
- main
jobs:
create-archive:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
- name: Build artifact
run: make all
- name: Create release
uses: marvinpinto/action-automatic-releases@latest
with:
repo_token: ${{ secrets.GITHUB_TOKEN }}
automatic_release_tag: latest
files: workshop-material.tar.gz