build: add --skip-oom-steps

Specifying this argument causes steps that specify a max_rss that exceeds the
total max_rss value of the runner to be skipped, instead of failing.
This commit is contained in:
kcbanner
2023-04-28 00:20:25 -04:00
committed by Andrew Kelley
parent e011c31ee8
commit 53d1282f0c
6 changed files with 38 additions and 13 deletions

View File

@@ -70,6 +70,9 @@ pub const State = enum {
/// This state indicates that the step did not complete, however, it also did not fail,
/// and it is safe to continue executing its dependencies.
skipped,
/// This step was skipped because it specified a max_rss that exceeded the runner's maximum.
/// It is not safe to run its dependencies.
skipped_oom,
};
pub const Id = enum {