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

Check archive filenames #697

Merged
merged 1 commit into from
Oct 6, 2023
Merged

Check archive filenames #697

merged 1 commit into from
Oct 6, 2023

Conversation

@mkaput mkaput marked this pull request as draft September 22, 2023 09:40
@mkaput mkaput changed the base branch from spr/main/1b03d139 to main September 25, 2023 19:41
@mkaput mkaput changed the base branch from main to spr/main/1b03d139 September 25, 2023 19:41
@mkaput mkaput changed the base branch from spr/main/1b03d139 to main September 25, 2023 19:44
@mkaput mkaput changed the base branch from main to spr/main/fa87cc89 September 25, 2023 19:44
github-merge-queue bot pushed a commit that referenced this pull request Sep 26, 2023
**Stack**:
- #709
- #697
- #675
- #657
- #646
- #708
- #707⚠️ *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 changed the base branch from spr/main/fa87cc89 to main September 26, 2023 10:21
@mkaput mkaput changed the base branch from main to spr/main/fa87cc89 September 26, 2023 10:21
github-merge-queue bot pushed a commit that referenced this pull request Sep 27, 2023
1. There were no reasons to disallow `[[target.lib]]`.
2. On the other hand, it would be cool to expect target names to have
package-name-style validation.

---

**Stack**:
- #697
- #710
- #675
- #657
- #646
- #712⚠️ *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 2 times, most recently from afbe50f to db67b25 Compare September 27, 2023 10:14
@mkaput mkaput force-pushed the spr/main/fa87cc89 branch 2 times, most recently from 89a843c to da7f64a Compare September 27, 2023 17:53
@mkaput mkaput force-pushed the spr/main/1b4d23da branch 2 times, most recently from 6eeaa3d to cd7ca4f Compare September 27, 2023 18:04
@mkaput mkaput requested a review from szymmis October 3, 2023 09:45
@mkaput mkaput marked this pull request as ready for review October 3, 2023 09:45
@mkaput mkaput force-pushed the spr/main/1b4d23da branch from f307c4c to 4d7fe8e Compare October 3, 2023 10:55
@mkaput mkaput force-pushed the spr/main/a055a068 branch from 0098b47 to fa72c76 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/a055a068 branch from fa72c76 to e387ec9 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 force-pushed the spr/main/1b4d23da branch from 4b954a5 to 23ca313 Compare October 5, 2023 12:49
@mkaput mkaput force-pushed the spr/main/a055a068 branch from e387ec9 to f08f9bd 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/a055a068 branch from f08f9bd to 473cac7 Compare October 6, 2023 08:10
@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
**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/1b4d23da branch from 80d3423 to 2d29ee7 Compare October 6, 2023 09:27
@mkaput mkaput force-pushed the spr/main/a055a068 branch from 2f2938d to 10b1e19 Compare October 6, 2023 09:27
github-merge-queue bot pushed a commit that referenced this pull request Oct 6, 2023
**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.*
Base automatically changed from spr/main/a055a068 to main October 6, 2023 09:51
commit-id:1b4d23da
@mkaput mkaput force-pushed the spr/main/1b4d23da branch from 2d29ee7 to 24329a8 Compare October 6, 2023 09:57
@mkaput mkaput enabled auto-merge October 6, 2023 09:58
@mkaput mkaput added this pull request to the merge queue Oct 6, 2023
Merged via the queue into main with commit 0201966 Oct 6, 2023
@mkaput mkaput deleted the spr/main/1b4d23da branch October 6, 2023 10:18
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.

3 participants