Book Runner Proof Results

Litani CI Dashboard

68

failed

0

in progress

610

succeeded

678

total

check

codegen

verification

Parallelism

Gnuplot Produced by GNUPLOT 5.2 patchlevel 8 1 2 3 4 5 6 00:15:00 00:16:00 00:17:00 00:18:00 00:19:00 00:20:00 00:21:00 00:22:00 00:23:00 00:24:00 00:25:00 00:26:00 00:27:00 00:28:00 # parallel jobs '$data' using 1:2 '' using 1:3 '' using 1:4:5 # cores: 4

Downloads