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 10 hr #2927N/A13 minn/a
check-typo 10 hr #2804N/A3 min 12 secn/a
coberturaN/A 11 mo #10.35 secn/a
dune-buildN/A 4 yr 8 mo #17031 secn/a
main 1 mo 12 days origin/trunk-#4804 7 hr 41 min origin/trunk-#48091 hr 58 minn/a
ntestN/A 1 yr 0 mo #263 msn/a
other-configs 2 mo 1 day #2908 10 hr #297130 minn/a
parallel-build 10 hr origin/trunk-#5412N/A9 min 17 secn/a
precheck 4 mo 5 days origin/backport-trunk-#1055 7 days 9 hr #10643 hr 5 minn/a
precheck-sanitizers 1 yr 1 mo #8 1 mo 24 days #1223 minn/a
precheck-tsanN/AN/AN/An/a
Risc-V 2 yr 7 mo #843 2 yr 7 mo #85344 minn/a
Risc-V-legacy 3 yr 7 mo #270 5 yr 0 mo #24641 minn/a
sanitizers 2 mo 2 days #2870 10 hr #293422 minn/a
slow-machines 2 mo 1 day origin/5.3-#1940 8 hr 39 min origin/trunk-#19921 hr 47 minn/a
step-by-step-build 10 hr #2989N/A3 min 3 secn/a
testN/AN/AN/An/a
tmp 4 mo 4 days origin/trunk-#27N/A23 minn/a
Icon:
  1. Small
  2. Medium
  3. Large

bootstrap

Built 10 hr ago, took 13 min

check-typo

Built 10 hr ago, took 3 min 12 sec

cobertura

Built 11 mo ago, took 0.35 sec

dune-build

Built 4 yr 8 mo ago, took 31 sec

main

Built 7 hr 41 min ago, took 3 hr 3 min

ntest

Built 1 yr 0 mo ago, took 63 ms

other-configs

Built 10 hr ago, took 9.4 sec

parallel-build

Built 10 hr ago, took 9 min 17 sec

precheck

Built 7 days 9 hr ago, took 10 sec

precheck-sanitizers

Built 1 mo 24 days ago, took 9 min 31 sec

precheck-tsan

Risc-V

Built 2 yr 7 mo ago, took 22 hr

Risc-V-legacy

Built 3 yr 7 mo ago, took 41 min

sanitizers

Built 10 hr ago, took 29 min

slow-machines

Built 8 hr 39 min ago, took 2 hr 10 min

step-by-step-build

Built 10 hr ago, took 3 min 3 sec

test

tmp

Built 4 mo 4 days ago, took 23 min