Skip to content
[Jenkins]Jenkins
log in
Build Queue
No builds in the queue.
Please set some security on your Jenkins (Manage Jenkins > Security)
SWNameLast SuccessLast FailureLast DurationCoverage
bootstrap 12 hr #2822N/A12 minn/a
check-typo 12 hr #2698N/A3 min 27 secn/a
coberturaN/A 7 mo 28 days #10.35 secn/a
dune-buildN/A 4 yr 5 mo #17031 secn/a
main 12 hr origin/trunk-#4741 3 days 7 hr origin/trunk-#47351 hr 7 minn/a
ntestN/A 8 mo 26 days #263 msn/a
other-configs 12 days #2830 11 hr #286231 minn/a
parallel-build 11 hr origin/trunk-#5315N/A7 min 33 secn/a
precheck 25 days origin/backport-trunk-#1055 5 days 17 hr origin/tests-native-debugger-gdb-musl-#10583 hr 5 minn/a
precheck-sanitizers 10 mo #8 10 mo #523 minn/a
precheck-tsanN/A 3 days 16 hr origin/trunk-#32 hr 21 minn/a
Risc-V 2 yr 4 mo #843 2 yr 4 mo #85344 minn/a
Risc-V-legacy 3 yr 3 mo #270 4 yr 9 mo #24641 minn/a
sanitizers 12 days #2795 11 hr #282723 minn/a
slow-machines 12 days origin/4.14-#1874 3 days 15 hr origin/trunk-#189345 minn/a
step-by-step-build 12 hr #2884N/A2 min 54 secn/a
testN/AN/AN/An/a
tmp 24 days origin/trunk-#27N/A23 minn/a
Icon:
  1. Small
  2. Medium
  3. Large

bootstrap

Built 12 hr ago, took 12 min

check-typo

Built 12 hr ago, took 3 min 27 sec

cobertura

Built 7 mo 28 days ago, took 0.35 sec

dune-build

Built 4 yr 5 mo ago, took 31 sec

main

Built 12 hr ago, took 1 hr 7 min

ntest

Built 8 mo 26 days ago, took 63 ms

other-configs

Built 11 hr ago, took 7 min 33 sec

parallel-build

Built 11 hr ago, took 7 min 33 sec

precheck

Built 5 days 17 hr ago, took 3 hr 32 min

precheck-sanitizers

Built 10 mo ago, took 23 min

precheck-tsan

Built 3 days 16 hr ago, took 2 hr 21 min

Risc-V

Built 2 yr 4 mo ago, took 22 hr

Risc-V-legacy

Built 3 yr 3 mo ago, took 41 min

sanitizers

Built 11 hr ago, took 9 min 38 sec

slow-machines

Built 3 days 14 hr ago, took 3 days 14 hr and counting

step-by-step-build

Built 12 hr ago, took 2 min 54 sec

test

tmp

Built 24 days ago, took 23 min