Improve CI #22
Merged
Improve CI #22
Mergify / Rule: Auto-squash when all checks pass and the PR has been approved (merge)
succeeded
Feb 8, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at c399b8f
Loading