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

Implement seL4-compile action #18

Closed
lsf37 opened this issue Jun 15, 2020 · 1 comment
Closed

Implement seL4-compile action #18

lsf37 opened this issue Jun 15, 2020 · 1 comment
Assignees
@lsf37
Labels
enhancement New feature or request seL4 actions on the kernel repo
Projects
Bamboo replacement

Comments

@lsf37
Copy link
Member

lsf37 commented Jun 15, 2020

An action for the seL4 repo that can run on pull requests and pushes to master that compiles seL4 and the manual on all supported platforms.
@lsf37 lsf37 added the enhancement New feature or request label Jun 15, 2020
@lsf37 lsf37 added this to To Do in Bamboo replacement Jun 11, 2021
@lsf37 lsf37 added seL4 actions on the kernel repo sel4test actions for sel4test and related repos and removed seL4 actions on the kernel repo sel4test actions for sel4test and related repos labels Jun 21, 2021
@lsf37
Copy link
Member Author

lsf37 commented Jun 21, 2021

Actually, this one is already implemented in seL4-compile and the refman action.

@lsf37 lsf37 closed this as completed Jun 21, 2021
Bamboo replacement automation moved this from To Do to Done Jun 21, 2021
@lsf37 lsf37 self-assigned this Jul 30, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lsf37 lsf37

Labels
enhancement New feature or request seL4 actions on the kernel repo
Projects
No open projects
Bamboo replacement
Done
Milestone
No milestone
Development

No branches or pull requests
1 participant
@lsf37