Up | Home | oilshell.org
e935d288
|
PR #1958
from pool3
refs/pull/1958/merge
|
| ID | Job Name | Start Time | Pull Time | Run Time | Status |
| 8248 | pea |
11/12 at 8:53pm | 0:07 | 0:05 | pass |
| 8248 | dummy |
11/12 at 8:53pm | 0:04 | 0:00 | pass |
| pea wwz TSV JSON | Up | ||
| Task | Results | Elapsed | Status |
os-info soil/diagnose.sh os-info
|
0:00 | 0 | |
dump-env soil/diagnose.sh dump-env
|
0:00 | 0 | |
py-source build/py.sh py-source
|
0:01 | 0 | |
check-types pea/TEST.sh check-types
|
0:02 | 0 | |
run-tests pea/TEST.sh run-tests
|
0:00 | 0 | |
parse-all pea/TEST.sh parse-all
|
0:02 | 0 | |
| dummy wwz TSV JSON | Up | ||
| Task | Results | Elapsed | Status |
os-info soil/diagnose.sh os-info
|
0:00 | 0 | |
dump-env soil/diagnose.sh dump-env
|
0:00 | 0 | |