[workflow] refactored the example check workflow#2411
Merged
FrankLeeeee merged 12 commits intomainfrom Jan 10, 2023
Merged
Commits
Commits on Jan 10, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
