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

Jump to bottom

Do not include Scarb.lock in packages #733

Merged
merged 1 commit into from
Oct 6, 2023
Merged

Do not include Scarb.lock in packages #733

merged 1 commit into from
Oct 6, 2023

Conversation

mkaput
Copy link
Member

@mkaput mkaput commented Oct 3, 2023 •
edited
Loading

This was referenced Oct 3, 2023
Merged
Merged
Merged
@mkaput mkaput requested review from maciektr and szymmis October 3, 2023 09:45
@mkaput mkaput force-pushed the spr/main/bf4023de branch from 0951e2a to b78deef Compare October 3, 2023 10:55
@mkaput mkaput force-pushed the spr/main/1b4d23da branch from f307c4c to 4d7fe8e Compare October 3, 2023 10:55
@mkaput mkaput mentioned this pull request Oct 3, 2023
Merged
@mkaput mkaput mentioned this pull request Oct 3, 2023
Merged
@mkaput mkaput force-pushed the spr/main/bf4023de branch from b78deef to 5022b54 Compare October 3, 2023 15:41
@mkaput mkaput force-pushed the spr/main/1b4d23da branch from 4d7fe8e to 0d1ad86 Compare October 3, 2023 15:41
@mkaput mkaput force-pushed the spr/main/bf4023de branch from 5022b54 to 4f526de Compare October 5, 2023 08:23
@mkaput mkaput force-pushed the spr/main/1b4d23da branch from 0d1ad86 to 4b954a5 Compare October 5, 2023 08:23
@mkaput mkaput mentioned this pull request Oct 5, 2023
Merged
@mkaput mkaput force-pushed the spr/main/1b4d23da branch from 4b954a5 to 23ca313 Compare October 5, 2023 12:49
@mkaput mkaput mentioned this pull request Oct 5, 2023
Merged
@mkaput mkaput force-pushed the spr/main/bf4023de branch from 4f526de to 7fa9827 Compare October 5, 2023 12:49
@mkaput mkaput force-pushed the spr/main/1b4d23da branch from 23ca313 to 4a795d7 Compare October 6, 2023 08:10
@mkaput mkaput force-pushed the spr/main/bf4023de branch 2 times, most recently from 4326413 to 99e1e6a Compare October 6, 2023 08:58
@mkaput mkaput force-pushed the spr/main/1b4d23da branch from 4a795d7 to 80d3423 Compare October 6, 2023 08:58
github-merge-queue bot pushed a commit that referenced this pull request Oct 6, 2023
@mkaput
Implement normalization of manifests for publishing (#710)
004d840 
**Stack**:
- #758
- #757
- #748
- #746
- #733
- #697
- #732
- #710 ⬅


⚠️ *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.*
@mkaput mkaput force-pushed the spr/main/bf4023de branch from 99e1e6a to 845f816 Compare October 6, 2023 09:27
@mkaput mkaput force-pushed the spr/main/1b4d23da branch from 80d3423 to 2d29ee7 Compare October 6, 2023 09:27
github-merge-queue bot pushed a commit that referenced this pull request Oct 6, 2023
@mkaput
Implement package source files collection (#732)
374a35b 
**Stack**:
- #758
- #757
- #748
- #746
- #733
- #697
- #732 ⬅


⚠️ *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.*
@mkaput mkaput force-pushed the spr/main/1b4d23da branch from 2d29ee7 to 24329a8 Compare October 6, 2023 09:57
@mkaput mkaput force-pushed the spr/main/bf4023de branch from 845f816 to a31e705 Compare October 6, 2023 09:57
github-merge-queue bot pushed a commit that referenced this pull request Oct 6, 2023
@mkaput
Check archive filenames (#697)
0201966 
**Stack**:
- #758
- #757
- #748
- #746
- #733
- #697 ⬅


⚠️ *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/1b4d23da to main October 6, 2023 10:18
@mkaput mkaput force-pushed the spr/main/bf4023de branch from a31e705 to c633579 Compare October 6, 2023 10:41
@mkaput mkaput enabled auto-merge October 6, 2023 10:42
@mkaput mkaput added this pull request to the merge queue Oct 6, 2023
Merged via the queue into main with commit 769e871 Oct 6, 2023
@mkaput mkaput deleted the spr/main/bf4023de branch October 6, 2023 11:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@szymmis szymmis szymmis approved these changes

@maciektr maciektr maciektr approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@mkaput @maciektr @szymmis