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

Github actions for continuous integration #72

Open
lopeetall opened this issue Mar 28, 2023 · 0 comments
Open

Github actions for continuous integration #72

lopeetall opened this issue Mar 28, 2023 · 0 comments
Assignees
@lopeetall

Comments

@lopeetall
Copy link
Contributor

CI should run certain tests and check that benches for compilation time do not change drastically for a PR to be merged
@lopeetall lopeetall self-assigned this Mar 28, 2023
@jonaprieto jonaprieto mentioned this issue Jun 16, 2023
Merged
jonaprieto added a commit that referenced this issue Jun 16, 2023
@jonaprieto
Add GitHub workflows for releasing Vamp-ir binaries (#108)
fda56fd 
This PR adds GitHub workflows for testing the VampIR code base and
releasing Vamp-ir binaries
for different architectures, see below.

- Closes #90 
- Progress #72 (maybe close this one, not exactly sure how to do the
bench thingy atm)

This PR goes after:

- #102
- #104

This PR is needed to test VampIR compilation pipeline in the Juvix
Compiler:

- anoma/juvix#2199
- anoma/juvix#2138

## How to create a new release?


https://github.com/anoma/vamp-ir/assets/1428088/7a87ba23-3ad5-43bf-aa42-a562421d4920

### The output

![Screenshot 2023-06-16 at 14 07
15](https://github.com/anoma/vamp-ir/assets/1428088/26643eba-eed6-4b3e-89b5-ce4b8bc7867b)

NB: the version used above that does not necessarily match the version
found in the Cargo.toml. One improvement is precisely extracting that
version from this file. However, I foresee extra work to handle cases
like if the tag is already published.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lopeetall lopeetall

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@lopeetall