Skip to content

Workaround for pip-tools #2252#265

Merged
wsxrdv merged 3 commits intogoogle:mainfrom
wsxrdv:pin_piptools
Oct 27, 2025
Merged

Workaround for pip-tools #2252#265
wsxrdv merged 3 commits intogoogle:mainfrom
wsxrdv:pin_piptools

Conversation

@wsxrdv
Copy link
Collaborator

@wsxrdv wsxrdv commented Oct 27, 2025

No description provided.

@gemini-code-assist
Copy link
Contributor

Note

Gemini is unable to generate a summary for this pull request due to the file types involved not being currently supported.

kralka
kralka previously approved these changes Oct 27, 2025
@coveralls
Copy link

coveralls commented Oct 27, 2025

Pull Request Test Coverage Report for Build 18843643617

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 88.825%

Totals Coverage Status
Change from base Build 18830479745: 0.0%
Covered Lines: 2941
Relevant Lines: 3311

💛 - Coveralls

@wsxrdv wsxrdv added this pull request to the merge queue Oct 27, 2025
Merged via the queue into google:main with commit 8c3d38b Oct 27, 2025
17 checks passed
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