Skip to content

chore: clarify that barretenberg mirror should not take PRs#3303

Merged
ludamad merged 2 commits into
masterfrom
chore/no-bb-PRs
Nov 14, 2023
Merged

chore: clarify that barretenberg mirror should not take PRs#3303
ludamad merged 2 commits into
masterfrom
chore/no-bb-PRs

Merge branch 'master' into chore/no-bb-PRs

62ed144
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs