mirror/pico-sdk
1
0
Fork 0
mirror of https://github.com/raspberrypi/pico-sdk.git synced 2025-12-10 07:14:36 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

update multi-gcc workflow (#1194)

Browse source 
* make multi-gcc workflow on-demand only
* actually run multi-gcc after merge into develop/master
This commit is contained in:
Graham Sanderson 2023-01-25 11:55:57 -06:00 • committed by GitHub
parent 9a5eae111b
commit 60016e2cf2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
.github/workflows/multi-gcc.yml vendored
View file

@ -1,5 +1,10 @@
name: Multi GCC
on: [workflow_dispatch, push, pull_request]
on:
workflow_dispatch:
push:
branches:
- 'develop'
- 'master'
jobs:
build: