|
|
60ff38e207
|
Rename workflow and make it trigger on pull requests
|
2025-11-17 15:12:01 +00:00 |
|
|
|
a0d6acfa8a
|
Remove CI workflow trigger 'pull_request'
|
2025-11-16 14:44:08 +00:00 |
|
|
|
27b9039ddd
|
Add more checks on pre-commit-config, add CI workflow
|
2025-11-16 06:59:02 +00:00 |
|
