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