Rolf Bjarne Kvinge 1c4ac4564d [jenkins] Jenkins is dead, long live ~Wrench~ Azure Devops. (#16396) ... Remove all Jenkins logic that's no longer being used.		2022-10-21 10:05:59 +02:00
..
add-commit-comment.sh	Limit GitHub comments to 32768 characters. (#8084)	2020-03-11 19:56:50 +01:00
add-commit-status.sh	[CI] Add scripts to set github status from Azure DevOps. (#5246)	2018-12-11 09:00:35 +01:00
custom-labels.txt	Rename master to main. (#8851)	2020-06-16 15:51:44 +02:00