Grigori Goronzy fdf5fdd605 ci: trigger on pull request ... Trigger actions on pull requests, which is needed for PRs from third party branches.		2023-11-11 11:26:05 +01:00
..
workflows	ci: trigger on pull request	2023-11-11 11:26:05 +01:00