Public

Project privacy set to public. By default, its content is available to everyone (authenticated or not). Please note that more restrictive permissions might exist on some items.

release-manifest

Clone or download

Read-only

Drop external plugins build tasks

Download Browse

Those plugins have been merged into the main repository. Part of request #30743: Merge external plugin repositories into the main repository

+0 −10
Thomas Gerbet (tgerbet) 2023-02-03 14:04
Thomas Gerbet (tgerbet) 2023-02-03 14:49
17c5f475a94b60f4d2e793f9a6ad97d738ead2c2
2caf6b79dcaebe3497dbc10479bdfc1781c59ef1
git #tools/release-manifest/17c5f475a94b60f4d2e793f9a6ad97d738ead2c2

Modified Files

Side by side diff
Inline diff
Name
M master/Jenkinsfile +0 −10 Go to diff View file