Paul Razvan Berg 92c82710c1 ci: simplify syntax for "on:" ... ci: add "workflow_dispatch" in "on" for "main" branch		2023-02-07 14:10:36 +02:00
..
scripts	docs: capitalize GitHub username	2023-01-16 13:40:22 +02:00
workflows	ci: simplify syntax for "on:"	2023-02-07 14:10:36 +02:00