CI job 2022-09-15__01-47-26

Task Elapsed Status Details
dump-user-host
soil/worker.sh dump-user-host
0.01 0 -
py-source
build/py.sh py-source
0.75 0 -
check-types
pea/TEST.sh check-types
6.17 0 -
run-tests
pea/TEST.sh run-tests
0.25 0 -
parse-all
pea/TEST.sh parse-all
1.10 0 -