Skip to content

[github-actions.ci] Update pinned envs#1630

Merged
fneum merged 2 commits intomasterfrom
update-pinned-environment
Apr 3, 2025
Merged

[github-actions.ci] Update pinned envs#1630
fneum merged 2 commits intomasterfrom
update-pinned-environment

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions bot commented Apr 3, 2025

Automatically generated PR to update pinned environment files for Windows, macOS, and Linux.

Note: Do not merge without manual test execution. Either update the branch to trigger tests, or use workflow_dispatch to run tests manually. Unlike standard PRs, tests will not run automatically.

@fneum fneum merged commit 4422710 into master Apr 3, 2025
12 checks passed
@fneum fneum deleted the update-pinned-environment branch April 3, 2025 11:50
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