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.

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

bump: make mcs-devel.xml available in bump script #797

Merged
merged 2 commits into from
Jul 18, 2024
Merged

bump: make mcs-devel.xml available in bump script #797

merged 2 commits into from
Jul 18, 2024

Conversation

lsf37
Copy link
Member

@lsf37 lsf37 commented Jul 18, 2024

bump-ver-manifest now takes an optional parameter --mcs to operate on mcs-devel.xml instead of devel.xml.

Goes together with seL4/verification-manifest#20

@lsf37 lsf37 added CI continuous integration and testing MCS related to `rt` branch and mixed-criticality systems labels Jul 18, 2024
@lsf37 lsf37 self-assigned this Jul 18, 2024
misc/bump/bump-ver-manifest Outdated Show resolved Hide resolved
bump-ver-manifest now takes an optional parameter `--mcs` to operate
on `mcs-devel.xml` instead of `devel.xml`.

Signed-off-by: Gerwin Klein <[email protected]>
Python 3.12 complains about `\<` not being a legal escape sequence. Use
raw string instead.

Signed-off-by: Gerwin Klein <[email protected]>
@lsf37 lsf37 merged commit bf2d962 into master Jul 18, 2024
14 checks passed
@lsf37 lsf37 deleted the mcs-bump branch July 18, 2024 11:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI continuous integration and testing MCS related to `rt` branch and mixed-criticality systems
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants