Skip to content

Global credentials (unrestricted)

Credentials that should be available irrespective of domain specification to requirements matching.
IDNameKindDescription
SSH Username with private key31f38a6f-ec29-4cd3-bcb5-89cbfc0ed704128.93.8.158 - key file: /net/www/ci/ocaml/.ssh/id_rsaSSH Username with private key128.93.8.158 - key file: /net/www/ci/ocaml/.ssh/id_rsa
Username with passwordcba314ab-4f16-400b-9ef6-34b0127626b1172.21.9.58Username with password172.21.9.58
SSH Username with private key55bd189a-03c2-41a4-b79d-73262f444590aloxe.inria.fr - key file: /net/www/ci/ocaml/.ssh/id_rsaSSH Username with private keyaloxe.inria.fr - key file: /net/www/ci/ocaml/.ssh/id_rsa
SSH Username with private keyinria-ci-bb88-497b-8273-9816ad591d24Inria CI generic authentication to slavesSSH Username with private keyInria CI generic authentication to slaves
SSH Username with private key6650888c-5d2c-4fa8-93f9-853894b41475ppc64le - key file: /net/www/ci/ocaml/.ssh/id_rsaSSH Username with private keyppc64le - key file: /net/www/ci/ocaml/.ssh/id_rsa
X.509 Client Certificateocaml-dockerocaml-dockerX.509 Client Certificate
Secret textf2d8e0a9-0e04-4a45-999e-773c31464166shared secret for github webhookSecret textshared secret for github webhook
SSH Username with private key1460efba-98da-4ca5-9696-a7e681202cc4Credential used by Jenkins to login to GitHub over SSHSSH Username with private keyCredential used by Jenkins to login to GitHub over SSH
SSH Username with private key64c3b20d-82cb-4ef5-adae-3ae74807ec72test-windows-thierrySSH Username with private keytest-windows-thierry
Icon:
  1. Small
  2. Medium
  3. Large