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

Add Mirage build to CI #74

Closed
wants to merge 1 commit into from
Closed

Add Mirage build to CI #74

wants to merge 1 commit into from

Conversation

brendanlong
Copy link
Contributor

No description provided.

@brendanlong brendanlong self-assigned this Apr 27, 2020
anuragsoni
anuragsoni reviewed Apr 27, 2020
View reviewed changes
.circleci/config.yml Outdated Show resolved Hide resolved
@brendanlong brendanlong force-pushed the mirage-ci branch 3 times, most recently from 8460906 to 4afb81a Compare April 27, 2020 16:18
@brendanlong
Copy link
Contributor Author

Note: This ensures the basic part of #67 doesn't break.

@brendanlong brendanlong marked this pull request as ready for review April 27, 2020 16:23
@coveralls
Copy link

coveralls commented Apr 27, 2020 •
edited
Loading

Coverage Status

Coverage remained the same at 68.448% when pulling f4714c6 on mirage-ci into 66596db on master.

@brendanlong brendanlong force-pushed the mirage-ci branch 2 times, most recently from de8bf59 to e25356e Compare April 27, 2020 16:59
@brendanlong
Copy link
Contributor Author

I'll close this for now since it's not really testing what we want yet. @anuragsoni will take over later.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@anuragsoni anuragsoni anuragsoni approved these changes

Assignees

@brendanlong brendanlong

Labels
size/M
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@brendanlong @coveralls @anuragsoni