Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Misc: Add another path prefix to accept-expected-changes-from-ci.py #19158

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

Merged
merged 1 commit into from
Mar 31, 2025

Conversation

aschackmull
Copy link
Contributor

Apparently this is necessary for Swift.

@Copilot Copilot AI review requested due to automatic review settings March 31, 2025 10:00
@aschackmull aschackmull requested a review from RasmusWL as a code owner March 31, 2025 10:00
Copy link
Contributor

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR adds another path prefix to the mapping in accept-expected-changes-from-ci.py to accommodate Swift environments.

  • Adds a new path prefix "/Users/runner/work/semmle-code/semmle-code/ql/"
  • Ensures compatibility across different operating systems

Tip: If you use Visual Studio Code, you can request a review from Copilot before you push from the "Source Control" tab. Learn more

Copy link
Member

@RasmusWL RasmusWL left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks plausible to me 🤷

@aschackmull aschackmull merged commit 01275aa into github:main Mar 31, 2025
6 checks passed
@aschackmull aschackmull deleted the misc/accept-expected-swift branch March 31, 2025 11:28
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
Morty Proxy This is a proxified and sanitized view of the page, visit original site.