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/bindings: build o1js bindings in CI #1902

Merged
merged 1 commit into from
Nov 20, 2024

Conversation

Fizzixnerd
Copy link
Contributor

Closes #1897.

@Fizzixnerd Fizzixnerd added enhancement New feature or request infrastructure Issues related to CI / infra labels Nov 15, 2024
@Fizzixnerd Fizzixnerd self-assigned this Nov 15, 2024
@Fizzixnerd Fizzixnerd requested a review from a team as a code owner November 15, 2024 15:23
@Fizzixnerd Fizzixnerd linked an issue Nov 15, 2024 that may be closed by this pull request
@Fizzixnerd Fizzixnerd force-pushed the 1897-build-the-o1js-bindings-in-the-ci branch 4 times, most recently from ab8ad74 to a2a2846 Compare November 15, 2024 15:57
@Fizzixnerd Fizzixnerd force-pushed the 1897-build-the-o1js-bindings-in-the-ci branch 4 times, most recently from 44fc47f to 0c6f499 Compare November 18, 2024 18:38
@Fizzixnerd Fizzixnerd force-pushed the 1897-build-the-o1js-bindings-in-the-ci branch 6 times, most recently from 84ddca1 to 1ff5c29 Compare November 19, 2024 21:27
@Fizzixnerd Fizzixnerd force-pushed the 1897-build-the-o1js-bindings-in-the-ci branch from 1ff5c29 to 8071937 Compare November 20, 2024 03:00
@Fizzixnerd Fizzixnerd merged commit 34c3b5a into main Nov 20, 2024
28 checks passed
@Fizzixnerd Fizzixnerd deleted the 1897-build-the-o1js-bindings-in-the-ci branch November 20, 2024 16:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request infrastructure Issues related to CI / infra no changelog
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Build the o1js bindings in the CI
3 participants