update deploy actions

wch-ch32v003
Matt Knight 7 months ago
parent 672532aa08
commit 1c7aa7812c

@ -1,17 +1,20 @@
name: Continuous Deployment name: Continuous Deployment
env: permissions:
# Specify the current Zig version MicroZig uses: contents: write
ZIG_VERSION: 0.11.0
on: on:
push: push:
branches: [main] tags:
- "microzig-*.*.*"
jobs: jobs:
deploy-packages: deploy-packages:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- name: Extract tag name
run: echo "TAG_NAME=${GITHUB_REF#refs/tags/}" >> $GITHUB_ENV
- name: Checkout - name: Checkout
uses: actions/checkout@v4 uses: actions/checkout@v4
with: with:
@ -21,22 +24,19 @@ jobs:
- name: Setup Zig - name: Setup Zig
uses: goto-bus-stop/setup-zig@v2 uses: goto-bus-stop/setup-zig@v2
with: with:
version: ${{ env.ZIG_VERSION }} version: master
- name: Install PIP packages - name: Assemble Packages
run: | run: zig build package -- "${{ secrets.DOWNLOADS_URL }}"
pip install -r tools/requirements.txt
- name: Generate and validate packages # TODO: Validation
run: |
./tools/bundle.py --base-url "${{ secrets.DOWNLOADS_URL }}"
- name: Deploy - name: Deploy
uses: easingthemes/ssh-deploy@main uses: easingthemes/ssh-deploy@main
with: with:
SSH_PRIVATE_KEY: ${{ secrets.DEPLOY_PRIVATE_KEY }} SSH_PRIVATE_KEY: ${{ secrets.DEPLOY_PRIVATE_KEY }}
ARGS: "-vzrli" ARGS: "-vzrli"
SOURCE: "microzig-deploy/" SOURCE: "boxzer-out/${{ env.TAG_NAME }}/"
REMOTE_HOST: ${{ secrets.DEPLOY_HOST }} REMOTE_HOST: ${{ secrets.DEPLOY_HOST }}
REMOTE_USER: ${{ secrets.DEPLOY_USER }} REMOTE_USER: ${{ secrets.DEPLOY_USER }}
REMOTE_PORT: ${{ secrets.DEPLOY_PORT }} REMOTE_PORT: ${{ secrets.DEPLOY_PORT }}

Loading…
Cancel
Save