We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
The camkes-cli tool is unused and basically bit-rotted.
camkes-cli
It should either be resurrected and brought up to date (might not be hard), or be retired/put on hold officially.
The tool is on pypi and mentioned on https://docs.sel4.systems/projects/camkes/cli
There is a test-action for it in seL4/ci-actions#87, but that is on hold until this issue is decided.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
The
camkes-clitool is unused and basically bit-rotted.It should either be resurrected and brought up to date (might not be hard), or be retired/put on hold officially.
The tool is on pypi and mentioned on https://docs.sel4.systems/projects/camkes/cli
There is a test-action for it in seL4/ci-actions#87, but that is on hold until this issue is decided.
The text was updated successfully, but these errors were encountered: