Commit Graph
2 Commits
Author SHA1 Message Date
Petr Mrázek a6c4baa1b6 Correct the pr check workflow 2022-10-26 17:12:10 +02:00
Petr Mrázek 0c9c87e4e6 Add PR check using GitHub Actions 2022-10-26 16:55:22 +02:00