File tree Expand file tree Collapse file tree 1 file changed +10
-6
lines changed Expand file tree Collapse file tree 1 file changed +10
-6
lines changed Original file line number Diff line number Diff line change 1+ ---
12name : Docs
23
34on : [push, pull_request]
45
5- env :
6- IS_RELEASE : |
7- ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
8-
96jobs :
107 build :
118 runs-on : ubuntu-20.04
129 steps :
10+ - name : Check if release
11+ id : setup
12+ run : |
13+ echo "IS_RELEASE=${{
14+ github.event_name == 'push' && github.ref == 'refs/heads/main'
15+ }}" >> $GITHUB_OUTPUT
16+
1317 - uses : actions/checkout@v2
1418
1519 - name : Upgrade jinja
@@ -20,13 +24,13 @@ jobs:
2024
2125 - name : Build
2226 run : |
23- if [ "x$ IS_RELEASE" == "xtrue " ]; then
27+ if [ "${{ steps.setup.outputs. IS_RELEASE }} " == "true " ]; then
2428 O="-t release"
2529 fi
2630 make html O="$O"
2731
2832 - name : Publish
29- if : ${{ env .IS_RELEASE == 'true' }}
33+ if : ${{ steps.setup.outputs .IS_RELEASE == 'true' }}
3034 uses : peaceiris/actions-gh-pages@v3
3135 with :
3236 github_token : ${{ secrets.GITHUB_TOKEN }}
You can’t perform that action at this time.
0 commit comments