[CI] set up documentation #48
Conversation
| run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()' | ||
| - name: Build and deploy | ||
| env: | ||
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |
There was a problem hiding this comment.
Because this is a PR from a fork repo, GitHub Action can't read secrets, and thus it can not deploy until it's merged into master.
Codecov Report
@@ Coverage Diff @@
## master #48 +/- ##
=======================================
Coverage 98.81% 98.81%
=======================================
Files 48 48
Lines 2107 2107
=======================================
Hits 2082 2082
Misses 25 25 Continue to review full report at Codecov.
|
|
The documentation is successfully deployed to the |
This is barely a CI update with no actual content in.