Skip to content

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

Open
github-actions[bot] wants to merge 1 commit intomasterfrom
update-pinned-environment
Open

[github-actions.ci] Update pinned envs#1
github-actions[bot] wants to merge 1 commit intomasterfrom
update-pinned-environment

Conversation

@github-actions
Copy link
Copy Markdown

@github-actions github-actions Bot commented Apr 9, 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.

@github-actions github-actions Bot force-pushed the update-pinned-environment branch from 4067b46 to 68c8fa0 Compare April 16, 2025 08:30
@github-actions github-actions Bot force-pushed the update-pinned-environment branch from 68c8fa0 to d8a30f8 Compare May 1, 2025 08:30
@github-actions github-actions Bot force-pushed the update-pinned-environment branch 2 times, most recently from dc18cd6 to f9f4467 Compare May 16, 2025 08:28
@github-actions github-actions Bot force-pushed the update-pinned-environment branch from f9f4467 to 0ab1cef Compare June 1, 2025 08: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.

1 participant