Skip to content

Update board list at armbian/os - Pushed commit "" #58

Update board list at armbian/os - Pushed commit ""

Update board list at armbian/os - Pushed commit "" #58

name: Update board list at armbian/os
run-name: Update board list at armbian/os - Pushed commit "${{ github.event.push.head_commit.message }}"
on:
push:
paths:
- "config/boards/*.*"
branches: [main]
jobs:
update-board-list-dispatch:
name: Send dispatch
if: ${{ github.repository_owner == 'Armbian' }}
runs-on: ubuntu-latest
steps:
- name: Repository Dispatch
uses: peter-evans/repository-dispatch@v3
with:
token: ${{ secrets.ACCESS_TOKEN }}
repository: armbian/os
event-type: "Refresh board list"