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.

Sign up for GitHub

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

fix: nightly subrepo mirror #2520

Merged
merged 10 commits into from
Sep 26, 2023
Merged

fix: nightly subrepo mirror #2520

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
5f15870
fix: .gitrepo files after bad pushes
ludamad Sep 26, 2023
6223a94
git subrepo push build-system
ludamad Sep 26, 2023
5d020dc
git subrepo push docs
ludamad Sep 26, 2023
8cbf288
fix: workflow order
ludamad Sep 26, 2023
b62c4de
chore: force sync barretenberg
ludamad Sep 26, 2023
008e20c
git subrepo push --branch=master barretenberg
ludamad Sep 26, 2023
78be1e7
[ci debug]
ludamad Sep 26, 2023
57c7e9e
[ci debug]
ludamad Sep 26, 2023
ddecf40
force debug in setup env
ludamad Sep 26, 2023
3832145
Remove debug now that its mysteriously working
ludamad Sep 26, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 7 additions & 4 deletions .github/workflows/mirror_repos.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,6 @@
# action failing due to upstream changes, a manual resolution
# PR with ./scripts/git_subrepo.sh pull will be needed.
name: Mirror Repositories

concurrency:
group: mirror-repositories
on:
schedule:
# Run the workflow every night at 2:00 AM UTC.
Expand Down Expand Up @@ -38,6 +35,8 @@ jobs:

mirror-to-build-system-repo:
runs-on: ubuntu-latest
# Force sequential.
needs: mirror-to-docs-repo
steps:
- name: Checkout
uses: actions/checkout@v3
Expand All @@ -59,6 +58,8 @@ jobs:

mirror-to-barretenberg-repo:
runs-on: ubuntu-latest
# Force sequential.
needs: mirror-to-build-system-repo
steps:
- name: Checkout
uses: actions/checkout@v3
Expand All @@ -80,6 +81,8 @@ jobs:

mirror-to-aztec-nr-repo:
runs-on: ubuntu-latest
# Force sequential.
needs: mirror-to-barretenberg-repo
steps:
- name: Checkout
uses: actions/checkout@v3
Expand All @@ -97,4 +100,4 @@ jobs:
git rebase origin/master
git commit --amend -m "$(git log -1 --pretty=%B) [skip ci]"
git push
fi
fi
6 changes: 3 additions & 3 deletions barretenberg/.gitrepo
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@
;
[subrepo]
remote = https://github.com/AztecProtocol/barretenberg
branch = main
commit = ae9f99c3caf0213882d843577374b03871cc7092
parent = c8a5cfb375b498475503c12cc83fcdba39f2ec5f
branch = master
commit = 16c9bec3e171dd4704ba641735a28f0bf340d564
parent = b62c4de76264a4fa214c4a61841ef7199f970fde
method = merge
cmdver = 0.4.6
4 changes: 2 additions & 2 deletions build-system/.gitrepo
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
[subrepo]
remote = https://github.com/AztecProtocol/build-system
branch = master
commit = 138c4eab1574d71c26f386a866f453a540802a06
parent = 1368b55d0a9bc9ea61e29bb095ca62aa6902645f
commit = 28dbd553e75d68b74dec3c3749cefefe3f600028
parent = 5f158708d7a667769c3d318c652f37260b59ba0a
method = merge
cmdver = 0.4.6
4 changes: 2 additions & 2 deletions docs/.gitrepo
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
[subrepo]
remote = https://github.com/AztecProtocol/docs
branch = main
commit = 20fe6bd3ec37c32516ddd799918f5f268279b506
parent = bf2651e714e148cdd0a625a435fe1ee64d762ffb
commit = 4e06fd2d8b43cca83eae9fb04947131e8e5ad091
parent = 6223a94d09b7aa1cce23ea13b589495e15830540
method = merge
cmdver = 0.4.6