diff options
author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2024-11-19 15:00:26 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-11-19 15:00:26 +0100 |
commit | 68aa712a3e51b2fb8596ba245dd440739be205c5 (patch) | |
tree | 509df7b21b3d4c55fd3c6fad5a4e210bdeb457c0 /.dockerignore | |
parent | 2e71bc640c1ccc273b7bc71f5791316ec1832157 (diff) | |
download | spack-68aa712a3e51b2fb8596ba245dd440739be205c5.tar.gz spack-68aa712a3e51b2fb8596ba245dd440739be205c5.tar.bz2 spack-68aa712a3e51b2fb8596ba245dd440739be205c5.tar.xz spack-68aa712a3e51b2fb8596ba245dd440739be205c5.zip |
solver: add a timeout handle for users (#47661)
This PR adds a configuration setting to allow setting time limits for concretization.
For backward compatibility, the default is to set no time limit.
Diffstat (limited to '.dockerignore')
0 files changed, 0 insertions, 0 deletions