-
Notifications
You must be signed in to change notification settings - Fork 25
89 lines (77 loc) · 2.14 KB
/
deploy.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
name: Deploy
on:
push:
branches:
- test/docs
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
with:
submodules: recursive
- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1
with:
version: nightly
- name: Setup Pages
uses: actions/configure-pages@v2
- name: Build mdBook
run: forge doc --build
# cd docs
# git worktree add gh-pages
# git config user.name "Deploy from CI"
# git config user.email ""
# cd gh-pages
# # Delete the ref to avoid keeping history.
# git update-ref -d refs/heads/gh-pages
# rm -rf *
# mv ../book/* .
# git add .
# git commit -m "Deploy $GITHUB_SHA to gh-pages"
# git push --force --set-upstream origin gh-pages
- name: Upload Artifact
uses: actions/upload-pages-artifact@v1
with:
path: ./docs/book
name: github-pages
retention-days: 1
# - name: Deploy to Github Pages
# uses:
# with:
# emit_telemetry: false
# token: ***
# timeout: 600000
# error_count: 10
# reporting_interval: 5000
# artifact_name: github-pages
# preview: false
deploy:
# Grant GITHUB_TOKEN the permissions required to make a Pages deployment
permissions:
pages: write # to deploy to Pages
id-token: write # to verify the deployment originates from an appropriate source
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
needs: build
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v1
# deploy:
# runs-on: ubuntu-latest
# if: github.ref == 'refs/heads/gh-pages'
# permissions:
# pages: write
# id-token: write
# environment:
# name: github-pages
# url: ${{ steps.deployment.outputs.page_url }}
# needs: build
# steps:
# - name: Deploy to GitHub Pages
# id: deployment
# uses: actions/deploy-pages@v1