Skip to content
Build Queue (126)
part of other-configs #2953
part of bootstrap #2909
part of check-typo #2786
part of sanitizers #2916
part of step-by-step-build #2971
part of check-typo #2785
part of sanitizers #2915
part of other-configs #2952
part of step-by-step-build #2970
part of bootstrap #2908
part of step-by-step-build #2969
part of check-typo #2784
part of other-configs #2951
part of bootstrap #2907
part of sanitizers #2914
part of step-by-step-build #2968
part of other-configs #2950
part of bootstrap #2906
part of sanitizers #2913
part of check-typo #2783
part of step-by-step-build #2967
part of sanitizers #2912
part of bootstrap #2905
part of other-configs #2949
part of check-typo #2782
part of check-typo #2781
part of sanitizers #2911
part of other-configs #2948
part of step-by-step-build #2966
part of bootstrap #2904
part of other-configs #2947
part of step-by-step-build #2965
part of bootstrap #2903
part of check-typo #2780
part of sanitizers #2910
part of bootstrap #2902
part of other-configs #2946
part of step-by-step-build #2964
part of sanitizers #2909
part of check-typo #2779
part of sanitizers #2908
part of step-by-step-build #2963
part of bootstrap #2901
part of check-typo #2778
part of other-configs #2945
part of check-typo #2777
part of bootstrap #2900
part of step-by-step-build #2962
part of other-configs #2944
part of sanitizers #2907
part of bootstrap #2899
part of other-configs #2943
part of step-by-step-build #2961
part of sanitizers #2906
part of check-typo #2776
part of other-configs #2942
part of check-typo #2775
part of bootstrap #2898
part of step-by-step-build #2960
part of sanitizers #2905
part of bootstrap #2897
part of other-configs #2941
part of check-typo #2774
part of sanitizers #2904
part of step-by-step-build #2959
part of bootstrap #2896
part of step-by-step-build #2958
part of other-configs #2940
part of sanitizers #2903
part of check-typo #2773
part of step-by-step-build #2957
part of check-typo #2772
part of bootstrap #2895
part of other-configs #2939
part of sanitizers #2902
part of bootstrap #2894
part of other-configs #2938
part of step-by-step-build #2956
part of check-typo #2771
part of sanitizers #2901
part of sanitizers #2900
part of bootstrap #2893
part of other-configs #2937
part of check-typo #2770
part of step-by-step-build #2955
part of check-typo #2769
part of sanitizers #2899
part of step-by-step-build #2954
part of bootstrap #2892
part of other-configs #2936
part of sanitizers #2898
part of other-configs #2935
part of bootstrap #2891
part of step-by-step-build #2953
part of check-typo #2768
part of sanitizers #2897
part of step-by-step-build #2952
part of other-configs #2934
part of check-typo #2767
part of bootstrap #2890
part of sanitizers #2896
part of bootstrap #2889
part of step-by-step-build #2951
part of check-typo #2766
part of other-configs #2933
part of sanitizers #2895
part of step-by-step-build #2950
part of other-configs #2932
part of check-typo #2765
part of bootstrap #2888
part of step-by-step-build #2949
part of other-configs #2931
part of check-typo #2764
part of sanitizers #2894
part of bootstrap #2887
part of step-by-step-build #2948
part of other-configs #2930
part of check-typo #2763
part of bootstrap #2886
part of sanitizers #2893
part of check-typo #2762
part of bootstrap #2885
part of sanitizers #2892
part of other-configs #2929
part of step-by-step-build #2947
precheck

Command install-plugin

java -jar jenkins-cli.jar -s https://ci.inria.fr/ocaml/ install-plugin SOURCE ... [-deploy] [-name VAL] [-restart]
Installs a plugin either from a file, an URL, or from update center. 

SOURCE : If this is an URL, Jenkins downloads the URL and installs that as a plugin. If it is the string ‘=’, the file will be read from standard input of the command. Otherwise the name is assumed to be the short name of the plugin in the existing update center (like ‘findbugs’), and the plugin will be installed from the update center. If the short name includes a minimum version number (like ‘findbugs:1.4’), and there are multiple update centers publishing different versions, the update centers will be searched in order for the first one publishing a version that is at least the specified version. -deploy : Deploy plugins right away without postponing them until the reboot. (default: false) -name VAL : No longer used. -restart : Restart Jenkins upon successful installation. (default: false)