Skip to content

Many updates to comments in capsules/#1927

Merged
bors[bot] merged 5 commits into
masterfrom
capsules-fix-comments
Jun 15, 2020
Merged

Many updates to comments in capsules/#1927
bors[bot] merged 5 commits into
masterfrom
capsules-fix-comments

Conversation

@bradjc

@bradjc bradjc commented Jun 12, 2020

Copy link
Copy Markdown
Contributor

Pull Request Overview

This pull request cherry picks the comment/test updates from #1512. These are useful even if we can't fully run the tests automatically.

Testing Strategy

n/a

TODO or Help Wanted

n/a

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make prepush.

@hudson-ayers

Copy link
Copy Markdown
Contributor

I added a commit to run cargo test -- lib (ignores doc tests but runs functions marked #[test]) in capsules. That gets us part way to what #1512 wanted. It runs as part of the ci-job-kernel Makefile task. cc @ppannuto if you think that makes sense

phil-levis
phil-levis previously approved these changes Jun 13, 2020

@ppannuto ppannuto left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks good to me.

@hudson-ayers I made capsules their own CI job. There's no reason to run the kernel tests if you're debugging a failing capsule test.

@gendx gendx left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Unclear to me what currently makes the CI jobs fail.

@ppannuto

ppannuto commented Jun 15, 2020

Copy link
Copy Markdown
Member

bors r+

Looks an awful lot like infra failure ( 👎 ) on github actions; the next step never triggered and timed out... I just told all the CI to re-run. Assuming it passes, this should go through.

@hudson-ayers

Copy link
Copy Markdown
Contributor

#1935 I think explains why the qemu CI is failing.

@bors

bors Bot commented Jun 15, 2020

Copy link
Copy Markdown
Contributor

@bors bors Bot merged commit e4b73a6 into master Jun 15, 2020
@bors bors Bot deleted the capsules-fix-comments branch June 15, 2020 13:30
sirchnik pushed a commit to sirchnik/tock that referenced this pull request May 12, 2026
1927: Many updates to comments in capsules/ r=ppannuto a=bradjc

### Pull Request Overview

This pull request cherry picks the comment/test updates from tock#1512. These are useful even if we can't fully run the tests automatically.


### Testing Strategy

n/a


### TODO or Help Wanted

n/a


### Documentation Updated

- [x] Updated the relevant files in `/docs`, or no updates are required.

### Formatting

- [x] Ran `make prepush`.


Co-authored-by: Guillaume Endignoux <guillaumee@google.com>
Co-authored-by: Hudson Ayers <hayers@stanford.edu>
Co-authored-by: Pat Pannuto <pat.pannuto@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants