File tree Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change 1010 pull_request :
1111 push :
1212 branches :
13- master
13+ - master
1414
1515jobs :
1616 check :
1717 name : Check
1818 runs-on : [plutus-ci, self-hosted]
1919 steps :
2020 - name : Checkout
21- uses : actions/checkout@main
21+ uses : actions/checkout@v4.3.0
2222
2323 - name : Run Linkchecker
2424 run : |
Original file line number Diff line number Diff line change 2727 name : github-pages
2828 steps :
2929 - name : Checkout
30- uses : actions/checkout@main
30+ uses : actions/checkout@v4.3.0
3131
3232 - name : Build Site
3333 if : github.event_name == 'push' || github.event_name == 'workflow_dispatch'
@@ -47,14 +47,14 @@ jobs:
4747 working-directory : doc/docusaurus
4848 run : |
4949 PR_NUMBER="${{ github.event.pull_request.number }}"
50- # These match the URL expected by rossjrw/pr-preview-action@v1:
50+ # These match the URL expected by rossjrw/pr-preview-action@v1.6.2 :
5151 export DOCUSAURUS_URL="https://plutus.cardano.intersectmbo.org"
5252 export DOCUSAURUS_BASE_URL="/pr-preview/pr-${PR_NUMBER}"
5353 nix develop --no-warn-dirty --accept-flake-config --command bash -c 'yarn && yarn build'
5454
5555 - name : Deploy Preview Site
5656 if : github.event_name == 'pull_request' && github.event.action != 'closed'
57- uses : rossjrw/pr-preview-action@v1
57+ uses : rossjrw/pr-preview-action@v1.6.2
5858 with :
5959 source-dir : doc/docusaurus/build
6060
You can’t perform that action at this time.
0 commit comments