chanzuckerberg / miniwdl

96%

master: 97%

LAST BUILD ON BRANCH mlin-revise-quant

branch: mlin-revise-quant

CHANGE BRANCH

x

Reset

• mlin-revise-quant
• akislyuk-fargate-executor
• akislyuk-hostname-docker-swarm-service-id
• akislyuk-lint
• akislyuk-setup-py-executable
• bot/40ee6ac28f1b4978acafab60596c8b1c
• bot/a1390b6eac164a6e9f0c8aec5e50fc8e
• codelab-assert
• codelab-stdlib-functions
• copilot/fix-954e6afe-6b0c-4bbb-8d20-2137635aa4f3
• cromwell-legacy-pair
• dunitz/input-digest
• dunitz/io-file-coherence-402
• fix-async-document-load
• generate-input-template
• issue808
• jgadling/docker-network
• jgadling/passthru-envvars
• kislyuk-patch-1
• lark-1.3
• main
• master
• mlin-HCAskylab-version
• mlin-MissingVersion
• mlin-abbreviate-call-inputs
• mlin-after
• mlin-async-load
• mlin-biowdl-corpi
• mlin-black
• mlin-black20
• mlin-builtin-s3-downloader
• mlin-call-cache-directory-coherence
• mlin-check-docs
• mlin-check-nested-quantifiers
• mlin-chown
• mlin-ci-docker-cache
• mlin-cleanup-imports
• mlin-cli
• mlin-cli-argcomplete
• mlin-cli-completion
• mlin-cli-inputs
• mlin-cli-tests
• mlin-close-filehandlers
• mlin-cloud-prototype
• mlin-coloredlogs
• mlin-command-escaping
• mlin-compound-map-keys
• mlin-configparser
• mlin-configurable-download-plugin
• mlin-copy-input-files
• mlin-copy-source
• mlin-coroutines
• mlin-coveralls
• mlin-cromwell
• mlin-cycle-detection
• mlin-default-runtime
• mlin-delete-failed-try-artifacts
• mlin-delete-work
• mlin-directory
• mlin-directory-download
• mlin-directory-outputs
• mlin-docker-group
• mlin-docker-nonroot
• mlin-docs-v0.7.5
• mlin-download-cache
• mlin-downloader-plugins
• mlin-dvglx-test
• mlin-env-bind-refactor
• mlin-error-cleanup
• mlin-error-info
• mlin-error-overhaul
• mlin-file-uri-download
• mlin-fix-download-cache-race
• mlin-fix-repeated-file-rewriting
• mlin-flock-refactor
• mlin-forward-reference-linter
• mlin-forward-references
• mlin-gather-referee
• mlin-gatk-corpi
• mlin-getting-started
• mlin-harden-docker-states
• mlin-id-regex
• mlin-if-defined-typechecking
• mlin-improve-cycle-detection
• mlin-infer-nested-json-types
• mlin-inlineDockerfile
• mlin-interpolate-sep-nulls
• mlin-interpolation-concat
• mlin-issue120
• mlin-issue126
• mlin-issue127
• mlin-issue135
• mlin-issue230-json-relative-paths
• mlin-issue232
• mlin-issue233-version-development
• mlin-issue236-unusedimport-structs
• mlin-issue239-recursion
• mlin-keys
• mlin-lark-v0.6.5
• mlin-last-link
• mlin-lint-filecoercion
• mlin-lint-suppression
• mlin-lint-unbound-declaration
• mlin-linter-api
• mlin-linting-optional-file-outputs
• mlin-localize
• mlin-log-json
• mlin-macos
• mlin-map-pair
• mlin-map-to-struct
• mlin-map-unification
• mlin-max-workers
• mlin-maxRetries
• mlin-merge-v0.4.x
• mlin-mount-inputs-in-workdir
• mlin-multi-errors
• mlin-naming-party
• mlin-new-struct-literals
• mlin-none
• mlin-null-decl
• mlin-old-workflow-outputs
• mlin-optional-file-outputs
• mlin-output-links
• mlin-pair-json
• mlin-polish-call-cache
• mlin-progressive-upload
• mlin-pylint
• mlin-pypi
• mlin-pyre-27
• mlin-pytest
• mlin-randomize-shellcheck-dummy
• mlin-read-json
• mlin-recursive-type-unify
• mlin-refactor-TaskContainer
• mlin-refactor-env
• mlin-refactor-env2
• mlin-refactor-walker
• mlin-refine-coercion-linters
• mlin-refine-workflow-downloads
• mlin-rename-output-links
• mlin-repurpose-localize
• mlin-rerun
• mlin-restrict-workflow-files
• mlin-retire-miniwdl-cromwell
• mlin-retry-work-dir
• mlin-rework-effective-outputs
• mlin-rework-quant-checking
• mlin-rework-quant-checking2
• mlin-rundir
• mlin-runner-cli
• mlin-runner-cli-cleanup
• mlin-runner-stderr-status
• mlin-runtime-coverage
• mlin-runtime-memory
• mlin-scatter-depth
• mlin-setparents-default
• mlin-shellcheck-tasks
• mlin-size-compound
• mlin-size-null
• mlin-skylab-bulk-rna-ci
• mlin-stdlib-eager
• mlin-stdlib-minmax
• mlin-stdlib-refactor
• mlin-stdlib-size
• mlin-stdlib-tests-reorg
• mlin-stdlib-versioning
• mlin-store-comments
• mlin-streamline-value-constructors
• mlin-string-interpolation-delimiters
• mlin-struct
• mlin-struct-imports
• mlin-struct-literals
• mlin-structured-logging
• mlin-subworkflow-input-namespace
• mlin-succinct-struct-literals
• mlin-swarm
• mlin-task-digest2
• mlin-task-input-default-uri
• mlin-task-interruption
• mlin-task-memory-limit
• mlin-task-runner
• mlin-task-signals
• mlin-test-corpi-submodules
• mlin-test-lint
• mlin-tighten-array-coercions
• mlin-tighten-nonempty-typechecking
• mlin-tighten-optional-typechecking
• mlin-unused-linter
• mlin-upgrade-dxWDL-corpus
• mlin-uri-import
• mlin-v0.5.0-readme
• mlin-value-coercion
• mlin-value-file
• mlin-value-json
• mlin-values-json
• mlin-viral-test
• mlin-wdl2-map-functions
• mlin-wdl2-runtime
• mlin-weird-filenames
• mlin-wip
• mlin-workflow-download-fail-fast
• mlin-workflow-input-section
• mlin-workflow-io-namespaces
• mlin-workflow-node
• mlin-workflow-nodes
• mlin-workflow-output-collisions
• mlin-workflow-runtime
• mlin-workflow-stdlib-io
• mlin-workflow-thread-pools
• mlin/InvalidRuntimeValue
• mlin/PyYAML
• mlin/allow-any-input
• mlin/allow-extra-struct-json-keys
• mlin/argcomplete3
• mlin/auto-spec-tests
• mlin/autoEnv
• mlin/basename-collision-warning
• mlin/bullet-to-questionary
• mlin/bump-deps-mar2025
• mlin/bump-warp
• mlin/cache-flock-rework
• mlin/cache-plugins
• mlin/cache-stdlib-written-files
• mlin/cache-stdlib-written-files2
• mlin/cache-task-with-no-outputs
• mlin/call-cache-refactor
• mlin/ci-22.04
• mlin/ci-disk-space
• mlin/cli-importtime
• mlin/cli-task-container
• mlin/comparability-equatability
• mlin/configurable-command-shell
• mlin/dedent-command-before-eval
• mlin/deps-may-2023
• mlin/dockerfile-focal
• mlin/download-concurrency
• mlin/download-runtime-defaults
• mlin/enable-wdl1.2-spec-tests
• mlin/env-override
• mlin/eval
• mlin/fail-slow
• mlin/fix-configure-relpath
• mlin/fix-configure-relpath-squash
• mlin/github-ci
• mlin/grammar-reorg
• mlin/hints-grammar
• mlin/implicitly-optional-input-with-default
• mlin/improve-struct-init-errors
• mlin/insource-aria2c-image
• mlin/issue538
• mlin/issue571
• mlin/issue596-warning
• mlin/issue614
• mlin/issue647
• mlin/issue648
• mlin/issue669
• mlin/issue690
• mlin/issue693
• mlin/issue698
• mlin/issue699
• mlin/issue700
• mlin/issue708
• mlin/issue740
• mlin/issue752
• mlin/macOS-cli-tests
• mlin/macOS-test-suite
• mlin/multiline-strings
• mlin/multiline-strings2
• mlin/mypy
• mlin/nvidia
• mlin/optional-to-string-coercions
• mlin/parallel-singularity
• mlin/pin-downloader-images
• mlin/placeholder_regex
• mlin/podman
• mlin/podman-exe
• mlin/privileged
• mlin/pyproject-toml
• mlin/read-objects
• mlin/refactor-multistrings
• mlin/relativeoutputpaths
• mlin/relax-pyyaml-requirement
• mlin/reorg-keywords
• mlin/report-cache-hit-run-dir
• mlin/resolve-docker-tags
• mlin/returnCodes
• mlin/rework-struct-from-read-json
• mlin/ruff
• mlin/runtime-override
• mlin/scatter-job-tags
• mlin/singularity-mvp
• mlin/singularity_mount_tmpdir
• mlin/squote-secure
• mlin/subworkflow-concurrency
• mlin/subworkflow-deadlocks
• mlin/task-env-decls
• mlin/task-hints
• mlin/task-requirements
• mlin/task-stdout-visibility
• mlin/test-nested-interpolations
• mlin/test-warp
• mlin/udocker
• mlin/unzip
• mlin/update-task-usage-plugin
• mlin/v1.0.0-touchups
• mlin/warn-output-basename-collisions
• mlin/wdl-bundle
• mlin/wdl1.1-grammar-fixes
• mlin/wdlviz-subworkflows
• mlin/wip
• mlin/workflow-call-cache
• mlin/yaml-input-exponential-notation
• mlin/zip
• pkg_resources
• readme
• readthedocs
• release
• revert-381-sepfunction
• stress-test
• struct-meta
• update-dockers-oct25
• v0.0.1
• v0.0.2
• v0.0.3
• v0.0.4
• v0.0.5
• v0.1.0
• v0.1.1
• v0.1.2
• v0.1.3
• v0.1.4
• v0.1.5
• v0.1.6
• v0.1.7
• v0.10.x
• v0.11.x
• v0.2.0
• v0.2.1
• v0.2.2
• v0.3.0
• v0.4.0
• v0.4.1
• v0.4.x
• v0.5.0
• v0.5.1
• v0.5.2
• v0.5.x
• v0.6.0
• v0.6.1
• v0.6.2
• v0.6.3
• v0.6.4
• v0.6.5
• v0.6.x
• v0.7.0
• v0.7.1
• v0.7.2
• v0.7.3
• v0.7.4
• v0.7.5
• v0.7.x
• v0.8.0
• v0.8.1
• v0.8.2
• v0.8.3
• v0.8.x
• v0.9.0
• v0.9.x
• v1.0.x
• v1.10.0
• v1.11.0
• v1.11.1
• v1.12.1
• v1.13.0
• v1.13.0rc0
• v1.13.1
• v1.2.2
• v1.2.3
• v1.3.0
• v1.3.1
• v1.3.2
• v1.3.3
• v1.4.0
• v1.4.1
• v1.4.2
• v1.4.3
• v1.5.0
• v1.5.1
• v1.5.2
• v1.5.3
• v1.5.4
• v1.6.0
• v1.7.0
• v1.7.1
• v1.8.0
• v1.9.0
• v1.9.1

Build # 510

Build Type

Pull #106

travis-ci

Committed by web-flow

Commit Message

Update Tree.py

Pull Request Pull Request #106: remove static enforcement of nonempty array quantifier

Run Details

63 of 63 new or added lines in 4 files covered. (100.0%)

2654 of 2764 relevant lines covered (96.02%)

0.96 hits per line