Jelte Fennema-Nio 2bccb58157 Run github actions on main (#7292) ... We want the nice looking green checkmark on our main branch too. This PR includes running on pushes to release branches too, but that won't come into effect until we have release branches with this workflow file.		2023-11-01 13:12:20 +01:00
..
actions	CircleCI to GHA migration (#7154)	2023-10-10 16:58:50 +03:00
packaging	Fixes error surpressions in packaging pipelines (#7054)	2023-07-24 14:44:27 +03:00
workflows	Run github actions on main (#7292)	2023-11-01 13:12:20 +01:00
pull_request_template.md	Add DESCRIPTION to PR template	2018-12-12 05:35:12 +01:00