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.

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

Add presubmit GitHub actions runtime build #9819

Merged
merged 1 commit into from
Jul 18, 2022

Conversation

GMNGeoffrey
Copy link
Contributor

@GMNGeoffrey GMNGeoffrey commented Jul 18, 2022

This is not yet blocking, but will now build and test the runtime on
each PR.

@GMNGeoffrey GMNGeoffrey changed the title Add presubmit GitHub actions build Add presubmit GitHub actions runtime build Jul 18, 2022
@GMNGeoffrey GMNGeoffrey requested a review from pzread July 18, 2022 19:14
@GMNGeoffrey GMNGeoffrey merged commit 29b3df9 into iree-org:main Jul 18, 2022
@GMNGeoffrey GMNGeoffrey deleted the presubmit-ga branch July 18, 2022 19:55
@GMNGeoffrey GMNGeoffrey added the infrastructure Relating to build systems, CI, or testing label Jul 19, 2022
@GMNGeoffrey
Copy link
Contributor Author

Forgot to tag originally, but part of #9855

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
infrastructure Relating to build systems, CI, or testing
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants