Skip to content

chore: Update ACIR artifacts#3430

Merged
TomAFrench merged 1 commit intomasterfrom
auto-pr-rebuild-script-branch
Nov 3, 2023
Merged

chore: Update ACIR artifacts#3430
TomAFrench merged 1 commit intomasterfrom
auto-pr-rebuild-script-branch

Conversation

@kevaundray
Copy link
Contributor

Automatic PR to update acir artifacts

@TomAFrench TomAFrench enabled auto-merge November 3, 2023 16:58
@TomAFrench TomAFrench added this pull request to the merge queue Nov 3, 2023
Merged via the queue into master with commit 734a4b9 Nov 3, 2023
@TomAFrench TomAFrench deleted the auto-pr-rebuild-script-branch branch November 3, 2023 17:13
TomAFrench pushed a commit that referenced this pull request Nov 14, 2023
Co-authored-by: github-merge-queue[bot] <github-merge-queue[bot]@users.noreply.github.com>
AztecBot pushed a commit that referenced this pull request Nov 28, 2023
This is a dual-list commit in both Noir and aztec repo. In this PR,
Aztec gets the code to make a mirror, and the mirror action pushes to
our `aztec` branch in Noir. The `aztec` branch features this as the
first commit, to then be pushed one by one from master as Noir changes
come in.

---------

Co-authored-by: ludamad <adam@aztecprotocol.com>
github-merge-queue bot pushed a commit that referenced this pull request Nov 29, 2023
* feat: Aztec CI files in Noir (#3430)

This is a dual-list commit in both Noir and aztec repo. In this PR,
Aztec gets the code to make a mirror, and the mirror action pushes to
our `aztec` branch in Noir. The `aztec` branch features this as the
first commit, to then be pushed one by one from master as Noir changes
come in.

---------

Co-authored-by: ludamad <adam@aztecprotocol.com>

* feat: Pull latest noir for brillig optimizations (#3464)

---------

Co-authored-by: ludamad <adam.domurad@gmail.com>
Co-authored-by: ludamad <adam@aztecprotocol.com>
Co-authored-by: kevaundray <kevtheappdev@gmail.com>
Co-authored-by: sirasistant <sirasistant@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants