Jelte Fennema-Nio bc5ae9a178 Use 1ES pool for more jobs		2023-11-01 09:52:36 +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	Use 1ES pool for more jobs	2023-11-01 09:52:36 +01:00
pull_request_template.md	Add DESCRIPTION to PR template	2018-12-12 05:35:12 +01:00