jtbx d9b20dcd25 CI: Deploy on push on main and schedule, build on PR		2024-01-22 21:14:46 +01:00
..
workflows	CI: Deploy on push on main and schedule, build on PR	2024-01-22 21:14:46 +01:00