schroda 57c8ee2cdc Add build step to pr workflow (#259) ...

Prevents PRs that break building from getting merged

2023-03-11 21:42:07 +03:30

..

build_pull_request.yml

Add build step to pr workflow (#259)

2023-03-11 21:42:07 +03:30

build_push_master.yml

add GitHub action on pushing to run lint (#224)

2023-01-10 01:27:17 +03:30