diff options
Diffstat (limited to 'main/api/src')
| -rw-r--r-- | main/api/src/mill/api/Result.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/main/api/src/mill/api/Result.scala b/main/api/src/mill/api/Result.scala index f6579abd..3222a8f9 100644 --- a/main/api/src/mill/api/Result.scala +++ b/main/api/src/mill/api/Result.scala @@ -33,6 +33,13 @@ object Result { } /** + * A task execution was skipped/aborted because of earlier (maybe unrelated) tasks failed and the evaluation was in fail-fast mode. + */ + case object Aborted extends Result[Nothing] { + def map[V](f: Nothing => V) = this + } + + /** * A failed task execution. * @tparam T The result type of the computed task. */ |