ci: split CI and PR workflows #1
This check has been archived and is scheduled for deletion.
Learn more about checks retention
GitHub Actions / test
succeeded
Oct 3, 2023 in 0s
9 tests run, 9 passed, 0 skipped, 0 failed.
Loading