mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-04-19 21:11:57 -04:00
* Run kernel demos and unit tests for PR changes Kernel demos check builds multiple demos from FreeRTOS/FreeRTOS and unit tests check runs unit tests in FreeRTOS/FreeRTOS. Both of these checks currently use main branch of FreeRTOS-Kernel. This commits updates these checks to use the changes in the PR. Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> * Do not specify PR SHA explicitly as that is default Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> * Remove explicit PR SHA from kernel checks Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> --------- Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
47 lines
1.3 KiB
YAML
47 lines
1.3 KiB
YAML
name: Kernel-Checker
|
|
|
|
on: [push, pull_request]
|
|
|
|
jobs:
|
|
kernel-checker:
|
|
name: FreeRTOS Kernel Header Checks
|
|
runs-on: ubuntu-20.04
|
|
steps:
|
|
# Install python 3
|
|
- name: Tool Setup
|
|
uses: actions/setup-python@v2
|
|
with:
|
|
python-version: 3.7.10
|
|
architecture: x64
|
|
env:
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
# There is shared code, hosted by FreeRTOS/FreeRTOS, with deps needed by header checker
|
|
- name: Checkout FreeRTOS Tools
|
|
uses: actions/checkout@v2
|
|
with:
|
|
repository: FreeRTOS/FreeRTOS
|
|
ref: main
|
|
path: tools
|
|
|
|
# Checkout user pull request changes
|
|
- name: Checkout Pull Request
|
|
uses: actions/checkout@v2
|
|
with:
|
|
path: inspect
|
|
|
|
# Collect all affected files
|
|
- name: Collecting changed files
|
|
uses: lots0logs/gh-action-get-changed-files@2.1.4
|
|
with:
|
|
token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
# Run checks
|
|
- name: Check File Headers
|
|
run: |
|
|
mv tools/.github/scripts/common inspect/.github/scripts
|
|
pip install -r inspect/.github/scripts/common/requirements.txt
|
|
cd inspect
|
|
.github/scripts/kernel_checker.py --json ${HOME}/files_modified.json ${HOME}/files_added.json ${HOME}/files_renamed.json
|
|
exit $?
|