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

ci: Check downstream compiles #6

Merged
merged 2 commits into from
Apr 25, 2024
Merged

Conversation

samuelburnham
Copy link
Member

@samuelburnham samuelburnham commented Apr 24, 2024

Closes #4

@samuelburnham samuelburnham force-pushed the ci-check-downstream-compiles branch 3 times, most recently from 960e48f to da255fb Compare April 25, 2024 00:00
@samuelburnham samuelburnham force-pushed the ci-check-downstream-compiles branch 9 times, most recently from bf6a65f to 5fd9123 Compare April 25, 2024 01:56
@samuelburnham samuelburnham marked this pull request as ready for review April 25, 2024 02:09
@samuelburnham samuelburnham force-pushed the ci-check-downstream-compiles branch from 5fd9123 to 123448d Compare April 25, 2024 15:55
Copy link

@huitseeker huitseeker left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🙏

@samuelburnham samuelburnham merged commit 7b025c4 into zkvm Apr 25, 2024
10 of 23 checks passed
@samuelburnham samuelburnham deleted the ci-check-downstream-compiles branch April 25, 2024 16:00
samuelburnham added a commit that referenced this pull request Apr 25, 2024
* ci: Check downstream compiles

* Switch to composite action
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