Job 2022-07-20__05-11-05

Task Elapsed Status Details
dump-user-host
soil/worker.sh dump-user-host
0.01 0 -
py-source
build/dev.sh py-source
0.78 0 -
check-types
pea/test.sh check-types
20.68 0 -
run-tests
pea/test.sh run-tests
0.70 0 -
parse-all
pea/test.sh parse-all
4.28 0 -