Commit graph

2 commits

Author SHA1 Message Date
Bibo-Joshi
ca37219a68
Fix Two Bugs in GitHub Actions Workflows (#3739) 2023-06-03 08:28:08 +02:00
Bibo-Joshi
5309cf6555
Automatically Label pre-commit-ci PRs (#3713) 2023-05-20 10:27:51 +02:00