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

Add collect aux data mechanism #1165

Merged
merged 1 commit into from
Mar 12, 2024
Merged

Add collect aux data mechanism #1165

merged 1 commit into from
Mar 12, 2024

Conversation

maciektr
Copy link
Contributor

@maciektr maciektr commented Feb 28, 2024

commit-id:af02bb94


Stack:

⚠️ Part of a stack created by spr. Do not merge manually using the UI - doing so may have unexpected results.

github-merge-queue bot pushed a commit that referenced this pull request Feb 29, 2024
commit-id:bf749c51

---

**Stack**:
- #1165
- #1161
- #1159
- #1157
- #1143
- #1155⚠️ *Part of a stack created by [spr](https://github.com/ejoffe/spr). Do
not merge manually using the UI - doing so may have unexpected results.*
github-merge-queue bot pushed a commit that referenced this pull request Feb 29, 2024
commit-id:89f844e2

---

**Stack**:
- #1165
- #1161
- #1159
- #1157
- #1143⚠️ *Part of a stack created by [spr](https://github.com/ejoffe/spr). Do
not merge manually using the UI - doing so may have unexpected results.*
@maciektr maciektr marked this pull request as ready for review March 1, 2024 01:35
github-merge-queue bot pushed a commit that referenced this pull request Mar 1, 2024
commit-id:54582a03

---

**Stack**:
- #1166
- #1165
- #1161
- #1159
- #1157⚠️ *Part of a stack created by [spr](https://github.com/ejoffe/spr). Do
not merge manually using the UI - doing so may have unexpected results.*
@maciektr maciektr changed the base branch from spr/main/ecc87fd5 to main March 5, 2024 23:11
@maciektr maciektr changed the base branch from main to spr/main/ecc87fd5 March 5, 2024 23:11
@maciektr maciektr marked this pull request as draft March 5, 2024 23:12
@maciektr maciektr removed the request for review from tomek0123456789 March 5, 2024 23:13
@maciektr maciektr force-pushed the spr/main/af02bb94 branch 2 times, most recently from 799c9b3 to 313f772 Compare March 6, 2024 11:50
@maciektr maciektr marked this pull request as ready for review March 6, 2024 13:47
github-merge-queue bot pushed a commit that referenced this pull request Mar 7, 2024
commit-id:e557eb16

---

**Stack**:
- #1166
- #1165
- #1161
- #1159
- #1174⚠️ *Part of a stack created by [spr](https://github.com/ejoffe/spr). Do
not merge manually using the UI - doing so may have unexpected results.*
scarb/src/compiler/db.rs Outdated Show resolved Hide resolved
scarb/src/ops/compile.rs Outdated Show resolved Hide resolved
scarb/src/ops/compile.rs Outdated Show resolved Hide resolved
github-merge-queue bot pushed a commit that referenced this pull request Mar 12, 2024
commit-id:f06e9653

---

**Stack**:
- #1166
- #1165
- #1161
- #1159⚠️ *Part of a stack created by [spr](https://github.com/ejoffe/spr). Do
not merge manually using the UI - doing so may have unexpected results.*
github-merge-queue bot pushed a commit that referenced this pull request Mar 12, 2024
commit-id:ecc87fd5

---

**Stack**:
- #1166
- #1165
- #1161⚠️ *Part of a stack created by [spr](https://github.com/ejoffe/spr). Do
not merge manually using the UI - doing so may have unexpected results.*
Base automatically changed from spr/main/ecc87fd5 to main March 12, 2024 10:33
@maciektr maciektr enabled auto-merge March 12, 2024 10:50
@maciektr maciektr added this pull request to the merge queue Mar 12, 2024
Merged via the queue into main with commit c7290d1 Mar 12, 2024
42 checks passed
@maciektr maciektr deleted the spr/main/af02bb94 branch March 12, 2024 11:06
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.

2 participants