Skip to content

Commit

Permalink
Point to the branch of CI-CD
Browse files Browse the repository at this point in the history
  • Loading branch information
Skptak committed Aug 17, 2023
1 parent 9f9ece5 commit 4668b52
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 @@ -32,23 +32,23 @@ jobs:
echo ${EXCLUDE[@]} | xargs lcov --rc lcov_branch_coverage=1 -r build/coverage.info -o build/coverage.info
lcov --rc lcov_branch_coverage=1 --list build/coverage.info
- name: Check Coverage
uses: Skptak/CI-CD-Github-Actions/coverage-cop@main
uses: FreeRTOS/CI-CD-Github-Actions/coverage-cop@CI-CD-Overhaul
with:
coverage-file: ./build/coverage.info
complexity:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Check complexity
uses: Skptak/CI-CD-Github-Actions/complexity@main
uses: FreeRTOS/CI-CD-Github-Actions/complexity@CI-CD-Overhaul
with:
path: ./
doxygen:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Run doxygen build
uses: Skptak/CI-CD-Github-Actions/doxygen@main
uses: FreeRTOS/CI-CD-Github-Actions/doxygen@CI-CD-Overhaul
with:
path: ./
spell-check:
Expand Down Expand Up @@ -110,7 +110,7 @@ jobs:
with:
python-version: "3.11.0"
- name: Measure sizes
uses: Skptak/CI-CD-Github-Actions/memory_statistics@main
uses: FreeRTOS/CI-CD-Github-Actions/memory_statistics@CI-CD-Overhaul
with:
config: .github/memory_statistics_config.json
check_against: docs/doxygen/include/size_table.md
Expand All @@ -122,7 +122,7 @@ jobs:
- name: Check Links
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
uses: Skptak/CI-CD-Github-Actions/link-verifier@main
uses: FreeRTOS/CI-CD-Github-Actions/link-verifier@CI-CD-Overhaul
with:
path: ./

Expand All @@ -145,12 +145,12 @@ jobs:
runs-on: cbmc_ubuntu-latest_64-core
steps:
- name: Set up CBMC runner
uses: Skptak/CI-CD-Github-Actions/set_up_cbmc_runner@main
uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@CI-CD-Overhaul
with:
cbmc_version: "latest"
cadical_tag: "latest"
kissat_tag: "latest"
- name: Run CBMC
uses: Skptak/CI-CD-Github-Actions/run_cbmc@main
uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@CI-CD-Overhaul
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: Skptak/CI-CD-Github-Actions/doxygen-generation@main
uses: FreeRTOS/CI-CD-Github-Actions/doxygen-generation@CI-CD-Overhaul
4 changes: 2 additions & 2 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ jobs:
git checkout -b ${{ github.event.inputs.version_number }} ${{
github.event.inputs.commit_id }}
- name: Generate SBOM
uses: Skptak/CI-CD-Github-Actions/sbom-generator@main
uses: FreeRTOS/CI-CD-Github-Actions/sbom-generator@CI-CD-Overhaul
with:
repo_path: ./
source_path: ./source
Expand Down Expand Up @@ -103,7 +103,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: Doxygen generation
uses: Skptak/CI-CD-Github-Actions/doxygen-generation@main
uses: FreeRTOS/CI-CD-Github-Actions/doxygen-generation@CI-CD-Overhaul
with:
ref: ${{ github.event.inputs.version_number }}
add_release: "true"
Expand Down

0 comments on commit 4668b52

Please sign in to comment.