diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2023-12-31 15:57:31 +0100 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-01-08 22:16:29 +0100 |
| commit | 5fb97b682ef07bee5142844edadf2c6dffc7c2d4 (patch) | |
| tree | de2939bdccb032946933aaac5ca5d30c6d163d2d /devdoc/rounding-errors.doc | |
| parent | 787905a585ba2ccb80d80c1d52dbea716085ec6a (diff) | |
Don't run other CI jobs if HTML tests fail
Prevents wasting resources when failed HTML tests are found.
Diffstat (limited to 'devdoc/rounding-errors.doc')
0 files changed, 0 insertions, 0 deletions