Compare commits

..

No commits in common. "43a8c498be2b879d282f4724e8c0a6d646f01c11" and "a759cb8b16208d52d2e8ee80eb067fb71ceb8ced" have entirely different histories.

3 changed files with 32 additions and 5 deletions

View File

@ -0,0 +1,30 @@
name: github pages
on:
push:
branches:
- main
pull_request:
jobs:
deploy:
runs-on: ubuntu-20.04
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- uses: actions/checkout@v2
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v2
with:
mdbook-version: '0.4.10'
# mdbook-version: 'latest'
- run: mdbook build
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/main' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./book

View File

@ -1,7 +1,3 @@
# Summary # Summary
[Introduction](README.md) - [Chapter 1](./chapter_1.md)
- [Unit 1: A Quick Romp Through the 17th Century](u1/README.md)

1
src/chapter_1.md Normal file
View File

@ -0,0 +1 @@
# Chapter 1