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 Github Actions CI Checks #3180

Merged
merged 6 commits into from
Dec 15, 2020
Merged

Conversation

rajat2004
Copy link
Contributor

@rajat2004 rajat2004 commented Dec 3, 2020

Currently adds Ubuntu, Windows builds

TODO:

  • OSX
  • Unity build
  • Ubuntu ROS Wrapper compilation

Workflow to publish the GitHub pages can also be added, so the maintainers no longer need to do that manually

See rajat2004#26 on my fork which shows the checks

@rajat2004 rajat2004 changed the title Add GtiHib Actions CI Checks Add Github Actions CI Checks Dec 3, 2020
@rajat2004 rajat2004 force-pushed the github-action-ci branch 5 times, most recently from 280ea72 to 7060b94 Compare December 3, 2020 22:26
@rajat2004
Copy link
Contributor Author

@jonyMarino Just referring to #2812 (comment), don't think Azure Pipelines is working, nothing got triggered, even after closing and reopening the PR

@jonyMarino
Copy link
Collaborator

/azp run microsoft.AirSim

@azure-pipelines
Copy link

No pipelines are associated with this pull request.

@rajat2004
Copy link
Contributor Author

/azp run microsoft.AirSim

@azure-pipelines
Copy link

Commenter does not have sufficient privileges for PR 3180 in repo microsoft/AirSim

@microsoft microsoft deleted a comment from azure-pipelines bot Dec 15, 2020
@jonyMarino
Copy link
Collaborator

Thank you very much, Rajat! Contributions in this direction will allow us to receive more PRs from the community. And maintain the quality of the repository. Thanks!

@jonyMarino jonyMarino merged commit b3e55f7 into microsoft:master Dec 15, 2020
@rajat2004
Copy link
Contributor Author

Glad to help!

@rajat2004 rajat2004 deleted the github-action-ci branch December 15, 2020 18:00
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.

2 participants