Skip to content

Conversation

@paulz
Copy link
Contributor

@paulz paulz commented Mar 4, 2025

do not run example on push for now
split type check

Base automatically changed from fix-docs to main March 4, 2025 17:46
do not run example on push for now
split type check
@tkersey tkersey merged commit 4c8e30c into main Mar 4, 2025
1 check passed
@tkersey tkersey deleted the fix-ci2 branch March 4, 2025 17:49
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