Skip to content

Commit

Permalink
Pointing to my fork for CI/CD Actions
Browse files Browse the repository at this point in the history
  • Loading branch information
Skptak committed Aug 2, 2023
1 parent 35b62c3 commit 27c2a85
Show file tree
Hide file tree
Showing 3 changed files with 10 additions and 10 deletions.
14 changes: 7 additions & 7 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ jobs:
- name: Setup
run: sudo apt-get install complexity
- name: Complexity
uses: FreeRTOS/CI-CD-Github-Actions/complexity@main
uses: Skptak/CI-CD-Github-Actions/complexity@main
with:
path: ./
horrid_threshold: 10
Expand Down Expand Up @@ -67,7 +67,7 @@ jobs:
run: |
cmake --build build/ --target coverage
- name: Check Coverage
uses: FreeRTOS/CI-CD-Github-Actions/coverage-cop@main
uses: Skptak/CI-CD-Github-Actions/coverage-cop@main
with:
path: ./build/coverage.info
line-coverage-min: 100
Expand All @@ -78,7 +78,7 @@ jobs:
steps:
- uses: actions/checkout@v2
- name: Run doxygen build
uses: FreeRTOS/CI-CD-Github-Actions/doxygen@main
uses: Skptak/CI-CD-Github-Actions/doxygen@main
with:
path: ./

Expand Down Expand Up @@ -111,7 +111,7 @@ jobs:
steps:
- uses: actions/checkout@v2
- name: Check formatting
uses: FreeRTOS/CI-CD-Github-Actions/formatting@main
uses: Skptak/CI-CD-Github-Actions/formatting@main
with:
path: ./
exclude-dirs: docs,.github
Expand Down Expand Up @@ -146,18 +146,18 @@ jobs:
with:
python-version: '3.11.0'
- name: Measure sizes
uses: FreeRTOS/CI-CD-Github-Actions/memory_statistics@main
uses: Skptak/CI-CD-Github-Actions/memory_statistics@main
with:
config: .github/memory_statistics_config.json
check_against: docs/doxygen/include/size_table.md
proof_ci:
runs-on: cbmc_ubuntu-latest_16-core
steps:
- name: Set up CBMC runner
uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main
uses: Skptak/CI-CD-Github-Actions/set_up_cbmc_runner@main
- run: |
git submodule update --init --checkout --recursive --depth 1
- name: Run CBMC
uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@main
uses: Skptak/CI-CD-Github-Actions/run_cbmc@main
with:
proofs_dir: test/cbmc/proofs
2 changes: 1 addition & 1 deletion .github/workflows/doxygen.yml
Original file line number Diff line number Diff line change
Expand Up @@ -8,4 +8,4 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: Doxygen generation
uses: FreeRTOS/CI-CD-Github-Actions/doxygen-generation@main
uses: Skptak/CI-CD-Github-Actions/doxygen-generation@main
4 changes: 2 additions & 2 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ jobs:
- name: create a new branch that references commit id
run: git checkout -b ${{ github.event.inputs.version_number }} ${{ github.event.inputs.commit_id }}
- name: Generate SBOM
uses: FreeRTOS/CI-CD-Github-Actions/sbom-generator@main
uses: Skptak/CI-CD-Github-Actions/sbom-generator@main
with:
repo_path: ./
source_path: ./source
Expand Down Expand Up @@ -101,7 +101,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: Doxygen generation
uses: FreeRTOS/CI-CD-Github-Actions/doxygen-generation@main
uses: Skptak/CI-CD-Github-Actions/doxygen-generation@main
with:
ref: ${{ github.event.inputs.version_number }}
add_release: "true"
Expand Down

0 comments on commit 27c2a85

Please sign in to comment.