plugin-site doesn't build on infra.ci due to missing 'docker' agent

[NotMyFault]

Service(s)

infra.ci.jenkins.io

Summary

https://infra.ci.jenkins.io/job/website-jobs/job/plugin-site/ fails to build, because of

23:33:00  org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
23:33:00  WorkflowScript: 30: Invalid agent type "docker" specified. Must be one of [any, kubernetes, label, none] @ line 30, column 9.
23:33:00             docker {
23:33:00             ^

The last successful build was on December the 12th at 9:11 AM.

Reproduction steps

No response

[dduportal]

This issue is related to jenkins-infra/plugin-site#1377

It's caused by jenkins-infra/kubernetes-management#4750 which changed the Jenkinsfile used in infra.ci for plugin-site.

I believe it should be fixed either by:

• Finishing the work in feat: unique Jenkinsfile plugin-site#1565 (cc @lemeurherve)
• Reverting chore: unique Jenkinsfile for plugin-site kubernetes-management#4750 (short term)

[lemeurherve]

Reverted jenkins-infra/kubernetes-management#4750 for now.

[dduportal]

Reopening to track work in jenkins-infra/plugin-site#1565 (review) and the revert of the jenkins-infra/kubernetes-management#4750 revert ;)

[lemeurherve]

The plugin site job is now correctly running on ci.jenkins.io and infra.ci.jenkins.io from the same Jenkinsfile.