File tree Expand file tree Collapse file tree 4 files changed +19
-128
lines changed
actions/reload-dev-portal Expand file tree Collapse file tree 4 files changed +19
-128
lines changed Load Diff This file was deleted.
Original file line number Diff line number Diff line change 5151 - name : Deploy Project Artifacts to Vercel
5252 run : vercel deploy --prebuilt --prod --token=${{ secrets.VERCEL_TOKEN }} --logs --archive=tgz
5353
54- - name : Reload dev portal on changed files
55- uses : ./.github/actions/reload-dev-portal
56- with :
57- base_sha : ${{ github.event.before }}
58- head_sha : ${{ github.event.after }}
59- dev-portal-deploy-hook-prod : ${{ secrets.DEV_PORTAL_DEPLOY_HOOK_PROD }}
60- revalidate-token : ${{ secrets.REVALIDATE_TOKEN }}
61- bot-bypass-token : ${{ secrets.DEVELOPER_BOT_BYPASS_TOKEN }}
54+ - name : Rebuild Dev Portal
55+ shell : bash
56+ run : |
57+ echo "Rebuilding all of dev-portal"
58+ curl -X POST ${{ secrets.DEV_PORTAL_DEPLOY_HOOK_PROD }}
Original file line number Diff line number Diff line change 1+ name : Force Rebuild Dev Portal
2+
3+ on :
4+ workflow_dispatch :
5+
6+ jobs :
7+ rebuild-dev-portal :
8+ runs-on : ubuntu-latest
9+ steps :
10+ - name : Rebuild Dev Portal
11+ shell : bash
12+ run : |
13+ echo "Rebuilding all of dev-portal"
14+ curl -X POST ${{ secrets.DEV_PORTAL_DEPLOY_HOOK_PROD }}
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments