File tree Expand file tree Collapse file tree 1 file changed +29
-0
lines changed
Expand file tree Collapse file tree 1 file changed +29
-0
lines changed Original file line number Diff line number Diff line change 1+ name : build and deploy docs
2+
3+ on :
4+ push :
5+ branches : [ main ]
6+
7+ jobs :
8+ build-and-deploy-docs :
9+
10+ runs-on : ubuntu-latest
11+ steps :
12+ - name : Checkout
13+ uses : actions/checkout@v2
14+ - name : Setup .NET
15+ uses : actions/setup-dotnet@v1
16+ with :
17+ dotnet-version : 5.0.100
18+ - name : Restore tools
19+ run : dotnet tool restore
20+ - name : Build docs
21+ working-directory : ./docs
22+ run : dotnet fsdocs build --eval
23+ - name : deploy
24+ uses : JamesIves/github-pages-deploy-action@3.7.1
25+ with :
26+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
27+ BRANCH : gh-pages # The branch the action should deploy to.
28+ FOLDER : ./output/ # The folder the action should deploy.
29+ CLEAN : true # Automatically remove deleted files from the deploy branch
You can’t perform that action at this time.
0 commit comments