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

Switch to GitHub actions for CI #4190

Merged
merged 43 commits into from
Mar 31, 2020
Merged

Switch to GitHub actions for CI #4190

merged 43 commits into from
Mar 31, 2020

Conversation

mpreiner
Copy link
Member

This commit enables CI with GitHub actions and adds macOS builds.

@mpreiner mpreiner added major Priority moderate Complexity labels Mar 31, 2020
@mpreiner mpreiner requested review from 4tXJ7f and aniemetz March 31, 2020 03:39
@mpreiner
Copy link
Member Author

I've disabled Travis in this PR. That's the reason why it's still waiting for the status.

@mpreiner mpreiner merged commit 186b387 into cvc5:master Mar 31, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@aniemetz aniemetz aniemetz approved these changes

@4tXJ7f 4tXJ7f Awaiting requested review from 4tXJ7f

Assignees

@4tXJ7f 4tXJ7f

@aniemetz aniemetz

Labels
major Priority moderate Complexity
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@mpreiner @aniemetz @4tXJ7f