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

action for seL4 tutorial tests #126

Merged
merged 6 commits into from
Jul 20, 2021
Merged

action for seL4 tutorial tests #126

merged 6 commits into from
Jul 20, 2021

Conversation

lsf37
Copy link
Member

@lsf37 lsf37 commented Jul 20, 2021 •
edited
Loading

Adds a GitHub action for the seL4 tutorial tests.

  • can be filtered by app, test name, and arch
  • can dump a full build matrix (turns out to be too large to make much sense on GitHub, but leaving the code here in case it is useful elsewhere later)
  • includes some cleanup and refactoring of generic code to simplify the setup of this action
  • add colour to logs for sel4test-type logs (like this one); this will take effect of other actions as well

@lsf37
cleanup: remove copy/paste cruft
6ecbd20 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@lsf37
seL4-platforms: allow base build list
ddd9804 
This commit add a base build list to build.yaml processing, so that
variants can be applied to the builds list. I.e. variants and explicit
build list are no longer mutually exclusive.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@lsf37
builds.py: refactor junit sanitising
844a18d 
Assume a standard seL4 project layout and use the existing junit
sanitiser on test output instead of homegrown solution.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@lsf37
builds.py: add colour to log
cf01cd9 
Use ANSI colour sequences to indicate success/fail and make the logs
easier to scan.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@lsf37 lsf37 self-assigned this Jul 20, 2021
@lsf37 lsf37 linked an issue Jul 20, 2021 that may be closed by this pull request
sel4 tutorials action #79
Closed
@lsf37
Copy link
Member Author

lsf37 commented Jul 20, 2021 •
edited
Loading

This touches a fair few files, probably easier to review by commit (they should be pretty orthogonal).

@lsf37 lsf37 mentioned this pull request Jul 20, 2021
Merged
@lsf37
add GitHub action for sel4-tutorials test
f5d8db6 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@lsf37
repo-util: more useful summary info
30c7943 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@lsf37 lsf37 merged commit b7f5739 into master Jul 20, 2021
@lsf37 lsf37 deleted the tutorials branch July 20, 2021 23:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kent-mcleod kent-mcleod kent-mcleod approved these changes

@szhuang szhuang Awaiting requested review from szhuang

@xurtis xurtis Awaiting requested review from xurtis

Assignees

@lsf37 lsf37

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

sel4 tutorials action
2 participants
@lsf37 @kent-mcleod