Skip to content

Update offline resources#198

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

Update offline resources#198
github-actions[bot] wants to merge 1 commit intomasterfrom
auto-update

Conversation

@github-actions
Copy link
Copy Markdown

@github-actions github-actions Bot commented May 2, 2026

Please review the changes to the resources. Merge to create updated artifacts.

To trigger the pull request check please manually close and reopen the pull request (see here for more information).

@github-actions github-actions Bot force-pushed the auto-update branch 2 times, most recently from 20ee7cc to a5bad0f Compare May 4, 2026 00:37
Copy link
Copy Markdown
Member

@stempler stempler left a comment

Choose a reason for hiding this comment

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

python script should be ignored

@github-actions github-actions Bot requested a review from stempler May 5, 2026 00:36
@github-actions github-actions Bot force-pushed the auto-update branch 3 times, most recently from 9f0f5e8 to 2101b23 Compare May 8, 2026 00:38
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