Skip to content

Commit

Permalink
Use new branch
Browse files Browse the repository at this point in the history
  • Loading branch information
Skptak committed Aug 21, 2023
1 parent e31d0ae commit 2e02e3b
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 10 deletions.
16 changes: 8 additions & 8 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -68,7 +68,7 @@ jobs:
echo -e "${{ env.bashPass }} ${{ env.stepName }} ${{ env.bashEnd }}"
- name: Check Coverage
uses: FreeRTOS/CI-CD-Github-Actions/coverage-cop@CI-CD-Overhaul
uses: FreeRTOS/CI-CD-Github-Actions/coverage-cop@v2
with:
coverage-file: ./test/unit-test/build/coverage.info

Expand All @@ -78,7 +78,7 @@ jobs:
- name: Clone This Repo
uses: actions/checkout@v3
- name: Run spellings check
uses: FreeRTOS/CI-CD-GitHub-Actions/rust-spell-check@CI-CD-Overhaul
uses: FreeRTOS/CI-CD-GitHub-Actions/rust-spell-check@v2
with:
path: ./

Expand All @@ -87,7 +87,7 @@ jobs:
steps:
- uses: actions/checkout@v3
- name: Check formatting
uses: FreeRTOS/CI-CD-Github-Actions/formatting@CI-CD-Overhaul
uses: FreeRTOS/CI-CD-Github-Actions/formatting@v2
with:
path: ./

Expand All @@ -96,7 +96,7 @@ jobs:
steps:
- uses: actions/checkout@v3
- name: Run doxygen build
uses: FreeRTOS/CI-CD-Github-Actions/doxygen@CI-CD-Overhaul
uses: FreeRTOS/CI-CD-Github-Actions/doxygen@v2
with:
path: ./

Expand All @@ -107,7 +107,7 @@ jobs:
- name: Check Links
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
uses: FreeRTOS/CI-CD-Github-Actions/link-verifier@CI-CD-Overhaul
uses: FreeRTOS/CI-CD-Github-Actions/link-verifier@v2

build-checks:
runs-on: ubuntu-latest
Expand Down Expand Up @@ -324,7 +324,7 @@ jobs:
run: git submodule update --checkout --init --recursive

- name: Run manifest verifier
uses: FreeRTOS/CI-CD-GitHub-Actions/manifest-verifier@CI-CD-Overhaul
uses: FreeRTOS/CI-CD-GitHub-Actions/manifest-verifier@v2
with:
path: ./
fail-on-incorrect-version: true
Expand All @@ -334,7 +334,7 @@ jobs:
runs-on: cbmc_ubuntu-latest_16-core
steps:
- name: Set up CBMC runner
uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@CI-CD-Overhaul
uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@v2
with:
cbmc_version: "5.61.0"

Expand All @@ -352,6 +352,6 @@ jobs:
echo -e "${{ env.bashPass }} ${{ env.stepName }} ${{ env.bashEnd }}"
- name: Run CBMC
uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@CI-CD-Overhaul
uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@v2
with:
proofs_dir: test/cbmc/proofs
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: FreeRTOS/CI-CD-GitHub-Actions//sbom-generator@CI-CD-Overhaul
Uses: FreeRTOS/CI-CD-GitHub-Actions//sbom-generator@v2
with:
repo_path: ./
source_path: ./source
Expand Down Expand Up @@ -106,7 +106,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: Doxygen generation
Uses: FreeRTOS/CI-CD-GitHub-Actions//doxygen-generation@CI-CD-Overhaul
Uses: FreeRTOS/CI-CD-GitHub-Actions//doxygen-generation@v2
with:
ref: ${{ github.event.inputs.version_number }}
add_release: "true"
Expand Down

0 comments on commit 2e02e3b

Please sign in to comment.