]> begriffs open source - freertos/blob - .github/workflows/ci.yml
FreeRTOS MPU: Remove MPU region number check (#1261)
[freertos] / .github / workflows / ci.yml
1 name: CI Checks
2 on:
3   push:
4     branches: ["**"]
5   pull_request:
6     branches: [main]
7   workflow_dispatch:
8 jobs:
9   formatting:
10     runs-on: ubuntu-20.04
11     steps:
12       - uses: actions/checkout@v4.1.1
13       - name: Check Formatting of FreeRTOS-Kernel Files
14         uses: FreeRTOS/CI-CD-Github-Actions/formatting@main
15         with:
16           exclude-dirs: portable
17
18   spell-check:
19       runs-on: ubuntu-latest
20       steps:
21         - name: Clone This Repo
22           uses: actions/checkout@v4.1.1
23         - name: Run spellings check
24           uses: FreeRTOS/CI-CD-Github-Actions/spellings@main
25           with:
26             path: ./
27             exclude-files: History.txt
28
29   link-verifier:
30     runs-on: ubuntu-latest
31     steps:
32       - name: Clone This Repo
33         uses: actions/checkout@v4.1.1
34       - name: Link Verification
35         uses: FreeRTOS/CI-CD-Github-Actions/link-verifier@main
36         with:
37           allowlist-file: '.github/allowed_urls.txt'
38
39   verify-manifest:
40     runs-on: ubuntu-latest
41     steps:
42       - uses: actions/checkout@v4.1.1
43         with:
44           submodules: true
45           fetch-depth: 0
46
47       - name: Run manifest verifier
48         uses: FreeRTOS/CI-CD-GitHub-Actions/manifest-verifier@main
49         with:
50           path: ./
51           fail-on-incorrect-version: true