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

Jump to bottom

camkes CLI test action #87

Closed
lsf37 opened this issue Jun 21, 2021 · 2 comments
Closed

camkes CLI test action #87

lsf37 opened this issue Jun 21, 2021 · 2 comments
Assignees
@lsf37
Labels
camkes wontfix This will not be worked on

Comments

@lsf37
Copy link
Member

lsf37 commented Jun 21, 2021

See bamboo/camkes/CLI
@lsf37 lsf37 added the camkes label Jun 21, 2021
@lsf37 lsf37 self-assigned this Jul 6, 2021
@lsf37
Copy link
Member Author

lsf37 commented Jul 7, 2021

The camkes-cli tool is actually bitrotted. Either need to document that or get it working again..

@lsf37 lsf37 mentioned this issue Jul 7, 2021
Open
@lsf37
Copy link
Member Author

lsf37 commented Jul 7, 2021

See also seL4/camkes-tool#76. Test action is implemented in the camkes-cli branch in this repo, but will leave it unmerged until the fate of the tool is decided.

@lsf37 lsf37 added the wontfix This will not be worked on label Jul 7, 2021
@lsf37 lsf37 closed this as completed Jul 7, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lsf37 lsf37

Labels
camkes wontfix This will not be worked on
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@lsf37