fixed CI repo branch (#330)

pull/332/head
Joseph Julicher 4 years ago committed by GitHub
parent b515641e0a
commit 3231d08be4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -21,7 +21,7 @@ jobs:
uses: actions/checkout@v2 uses: actions/checkout@v2
with: with:
repository: FreeRTOS/FreeRTOS repository: FreeRTOS/FreeRTOS
ref: smp ref: main
path: tools path: tools
# Checkout user pull request changes # Checkout user pull request changes

Loading…
Cancel
Save