jtbx 020cf8f5e4 CI: Deploy on push on main and schedule, build on PR		2024-01-20 21:37:13 +01:00
..
workflows	CI: Deploy on push on main and schedule, build on PR	2024-01-20 21:37:13 +01:00