Jakub Beránek ff2cd0fb63 Remove duplicated CI triggers ... There shouldn't be a need to run all CI jobs on all pushes.		2025-02-01 19:13:41 +01:00
..
workflows	Remove duplicated CI triggers	2025-02-01 19:13:41 +01:00