ci: remove obsolete GitHub workflows
Merged
Merging ci/remove-obsolete-workflows into main • View on GitHub1
Build
0
Discussions
9
Tests
PR check
ci: remove obsolete GitHub workflows
No UI checks were triggered. Your UI review is complete!
UI tests: Passed
9 tests unchanged.
Participants
Yusuke