Skip to content

wip: rp2040: Add support for PIO's jmp_pin (#174) #9

wip: rp2040: Add support for PIO's jmp_pin (#174)

wip: rp2040: Add support for PIO's jmp_pin (#174) #9

Workflow file for this run

name: Continuous Deployment
env:
# Specify the current Zig version MicroZig uses:
ZIG_VERSION: 0.11.0
on:
push:
branches: [main]
jobs:
deploy-packages:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
with:
fetch-tags: true # required for "git describe"
fetch-depth: 0
- name: Setup Zig
uses: goto-bus-stop/setup-zig@v2
with:
version: ${{ env.ZIG_VERSION }}
- name: Install PIP packages
run: |
pip install -r tools/requirements.txt
- name: Generate and validate packages
run: |
./tools/bundle.py --base-url "${{ secrets.DOWNLOADS_URL }}"
- name: Deploy
uses: easingthemes/ssh-deploy@main
with:
SSH_PRIVATE_KEY: ${{ secrets.DEPLOY_PRIVATE_KEY }}
ARGS: "-vzrli"
SOURCE: "microzig-deploy/"
REMOTE_HOST: ${{ secrets.DEPLOY_HOST }}
REMOTE_USER: ${{ secrets.DEPLOY_USER }}
REMOTE_PORT: ${{ secrets.DEPLOY_PORT }}
TARGET: "."