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: switch default rust to nightly #137

Closed
wants to merge 1 commit into from
Closed

ci: switch default rust to nightly #137

wants to merge 1 commit into from

Conversation

otani88
Copy link
Contributor

@otani88 otani88 commented Oct 2, 2023

What ❔

Switch default rust to nightly-2023-07-21

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Tests for the changes have been added / updated.
  • Documentation comments have been added / updated.
  • Code has been formatted via zk fmt and zk lint.

@otani88 otani88 closed this Oct 2, 2023
@otani88 otani88 deleted the use_nigthly_rust branch October 2, 2023 14:37
ilitteri pushed a commit that referenced this pull request Feb 23, 2024
* Add example: build_commit_tx_input_data_is_correct (fails)

* Abstract normal_checker_function test

* Abstract checker_processes_pre_boojum_batches

* Abstract checker_functions_after_snapshot_recovery test

* Abstract checker_functions_after_snapshot_recovery test

* Remove unnecessary auxiliar function

* Fix all the failing tests

* Use test_helpers module

* Remove ValidiumModeL1BatchCommitDataGenerator fix

* Add bytes pubdata with 0 value for the encoding (#136)

* Fix unnecessary pub
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.

1 participant