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 1 day 14 hr #2962N/A13 minn/a
check-typo 1 day 14 hr #2840N/A3 min 12 secn/a
dune-buildN/A 4 yr 9 mo #17031 secn/a
main 1 day 13 hr origin/trunk-#4840 1 day 15 hr origin/trunk-#48391 hr 57 minn/a
other-configs 2 mo 23 days #2908 1 day 14 hr #300630 minn/a
parallel-build 1 day 14 hr origin/trunk-#5448N/A20 minn/a
precheck 4 mo 27 days origin/backport-trunk-#1055 7 days 15 hr origin/backport-trunk-#10703 hr 5 minn/a
precheck-sanitizers 1 yr 2 mo #8 2 mo 16 days #1223 minn/a
precheck-tsanN/AN/AN/An/a
Risc-V 2 yr 8 mo #843 2 yr 8 mo #85344 minn/a
Risc-V-legacy 3 yr 8 mo #270 5 yr 1 mo #24641 minn/a
sanitizers 9 days 19 hr #2958 1 day 14 hr #296926 minn/a
slow-machines 1 day 12 hr origin/trunk-#2027 2 days 12 hr origin/5.4-#20242 hr 13 minn/a
step-by-step-build 1 day 14 hr #3025N/A3 min 4 secn/a
tmp 13 days origin/trunk-#28N/A1 hr 12 minn/a
Icon:
  1. Small
  2. Medium
  3. Large

bootstrap

Built 1 day 14 hr ago, took 13 min

check-typo

Built 1 day 14 hr ago, took 3 min 12 sec

dune-build

Built 4 yr 9 mo ago, took 31 sec

main

Built 1 day 13 hr ago, took 1 hr 57 min

other-configs

Built 1 day 14 hr ago, took 5 min 0 sec

parallel-build

Built 1 day 14 hr ago, took 20 min

precheck

Built 4 days 14 hr ago, took 1 day 19 hr

precheck-sanitizers

Built 2 mo 16 days ago, took 9 min 31 sec

precheck-tsan

Risc-V

Built 2 yr 8 mo ago, took 22 hr

Risc-V-legacy

Built 3 yr 8 mo ago, took 41 min

sanitizers

Built 1 day 14 hr ago, took 26 min

slow-machines

Built 1 day 12 hr ago, took 2 hr 13 min

step-by-step-build

Built 1 day 14 hr ago, took 3 min 4 sec

tmp

Built 13 days ago, took 1 hr 12 min