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

Use Github Actions #57

Closed
rengolin opened this issue Oct 11, 2022 · 2 comments
Closed

Use Github Actions #57

rengolin opened this issue Oct 11, 2022 · 2 comments
Labels
Infrastructure CI, builds, clusters, benchmarks low-priority Things that go in the back burner

Comments

@rengolin
Copy link
Contributor

rengolin commented Oct 11, 2022

We're looking into getting pre-merge checks from pull requests, but our CI runs on local machines. To avoid running arbitrary code locally, we don't allow PRs to trigger CI.

This can be solved with Github actions, at least for some basic testing (build + check), which should be enough for pre-merge. Like LLVM, if we have a problem that hasn't been found by pre-merge tests, we create an artificial IR-to-IR test, which is quick and runs well on Github builders.

There's an initial implementation on branch github-actions. The LLVM and sandbox builds work fine, the integration between them doesn't.

Anyone with a few days to spare and a weird passion for infrastructure jobs can pick where I left off. :)

@hfp

@rengolin rengolin added the Infrastructure CI, builds, clusters, benchmarks label Nov 3, 2022
@rengolin
Copy link
Contributor Author

We can use Github releases to store LLVM builds, in a similar way that LLVM itself does.

With an action to create and upload the release using github's own Python library.

The end result will look like this, and we can download with Wget on the compiler build.

@rengolin rengolin added the low-priority Things that go in the back burner label Dec 9, 2022
@rengolin
Copy link
Contributor Author

Our CI has been pretty stable, so I'll close this ticket. If we want to do this again, we can reopen.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Infrastructure CI, builds, clusters, benchmarks low-priority Things that go in the back burner
Projects
None yet
Development

No branches or pull requests

2 participants