Float values are not accepted for cpu because they don't coerce to int

[adamnovak]

According to the WDL 1.1 spec, the cpu key in the runtime section may be a Float. But MiniWDL tries to coerce it to Int. So if you use a float it doesn't work.

miniwdl/WDL/runtime/task_container.py

Line 233 in a34aa90

cpu_value = runtime_eval["cpu"].coerce(Type.Int()).value

To reproduce:

cat >test.wdl <<EOF
version 1.1

task TestTask {
    input {
    }
    command <<<
        ls
    >>>
    output {
    }
    runtime {
        container: "ubuntu:latest"
        cpu: 0.5
    }
}
EOF
miniwdl check test.wdl

This gives the error:

test.wdl
    task TestTask
        (Ln 13, Col 14) UnexpectedRuntimeValue, expected Int/String for task runtime.cpu