travis-ci.oilshell.org | oilshell.org
2022-07-11__06-57-30| Task | Elapsed | Status | Details |
dump-user-host soil/worker.sh dump-user-host
|
0.01 | 0 | - |
py-source build/dev.sh py-source
|
0.77 | 0 | - |
check-types pea/test.sh check-types
|
21.19 | 0 | - |
run-tests pea/test.sh run-tests
|
0.63 | 0 | - |
parse-all pea/test.sh parse-all
|
4.25 | 0 | - |