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 master devnet temporarily #811

Merged
merged 1 commit into from
Sep 12, 2022
Merged

Use master devnet temporarily #811

merged 1 commit into from
Sep 12, 2022

Conversation

mkaput
Copy link
Member

@mkaput mkaput commented Sep 12, 2022

fix #789

@mkaput mkaput force-pushed the mkaput/tmp/devnet-tmp branch from bd752cd to 9d970a4 Compare September 12, 2022 13:29
@mkaput mkaput force-pushed the mkaput/tmp/devnet-tmp branch from 9d970a4 to ba61d50 Compare September 12, 2022 14:05
@mkaput mkaput changed the title wip: use newer devnet version Use master devnet temporarily Sep 12, 2022
@mkaput mkaput marked this pull request as ready for review September 12, 2022 14:23
@mkaput mkaput linked an issue Sep 12, 2022 that may be closed by this pull request
@Arcticae Arcticae merged commit 9911af6 into cairo-0.10 Sep 12, 2022
@Arcticae Arcticae deleted the mkaput/tmp/devnet-tmp branch September 12, 2022 15:27
mkaput added a commit that referenced this pull request Sep 13, 2022
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.

Fix migrator tests
3 participants