Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Tie CBMC to 5.95.1 given 6.0.0 alpha is causing PR's to fail #96

Merged
merged 9 commits into from
Dec 14, 2023
Merged

Tie CBMC to 5.95.1 given 6.0.0 alpha is causing PR's to fail #96

Show file tree
Hide file tree
Changes from 7 commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
730a11e
Tie CBMC to 5.95.1 given 6.0.0 alpha is causing PR's to fail
bradleysmith23 Dec 14, 2023
e9c975e
exclude portable dir from formatting check
bradleysmith23 Dec 14, 2023
b766ac8
Update set_up_cbmc_runner/action.yml
bradleysmith23 Dec 14, 2023
c8c0bf3
update exclude-dirs location
bradleysmith23 Dec 14, 2023
227aa0a
Update exclude-dirs usage
bradleysmith23 Dec 14, 2023
d614a0a
Add exclude dirs for FreeRTOS repo
bradleysmith23 Dec 14, 2023
d64addc
Make exclude-dirs an array
bradleysmith23 Dec 14, 2023
28f6ed2
Update .github/workflows/pr_checks.yml
bradleysmith23 Dec 14, 2023
12d71f6
add single quotes around exclude-dirs lists
bradleysmith23 Dec 14, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 3 additions & 1 deletion .github/workflows/pr_checks.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -323,6 +323,7 @@ jobs:
repository: FreeRTOS-Kernel,
org: FreeRTOS,
branch: main,
exclude-dirs: portable
},
{
repository: FreeRTOS-Plus-TCP,
Expand All @@ -333,6 +334,7 @@ jobs:
repository: FreeRTOS,
org: FreeRTOS,
branch: main,
exclude-dirs: [ethernet, drivers, FreeRTOS/Demo]
bradleysmith23 marked this conversation as resolved.
Show resolved Hide resolved
},
{
repository: FreeRTOS-Cellular-Interface,
Expand Down Expand Up @@ -418,4 +420,4 @@ jobs:
with:
path: repo/${{ matrix.inputs.repository }}
exclude-files: ${{ matrix.inputs.exclude-files }}
exclude-dirs: ethernet, drivers, FreeRTOS/Demo
exclude-dirs: ${{ matrix.inputs.exclude-dirs }}
4 changes: 2 additions & 2 deletions set_up_cbmc_runner/action.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,9 +4,9 @@
name: Set up CBMC runner
inputs:
cbmc_version:
description: Version number or 'latest' for CBMC
description: Version number or '5.95.1' for CBMC. NOTE: This is because of the fact that the 6.0.0 alpha release isn't meant for production use. When the full release happens this should be set back to using the 'latest' https://github.com/diffblue/cbmc/releases/tag/cbmc-6.0.0-alpha
required: true
default: latest
default: 5.95.1
cbmc_viewer_version:
description: Version number or 'latest' for CBMC Viewer
required: true
Expand Down
Loading