git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 614e2b7) | patch
jobs: If multiple jobs fail, save and print all the exceptions.
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 20 Jan 2020 12:22:49 +0000 (12:22 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 20 Jan 2020 12:30:54 +0000 (12:30 +0000)
commitdefebbd4c75d43ad2d171cccbcc7ed737ff8a035
treeba434224b18e56fb7a997063920dce224d45249atree | snapshot
parent614e2b7de8284ed70c004f5f2847d868c8e40e3bcommit | diff
jobs: If multiple jobs fail, save and print all the exceptions.

Don't "forget" earlier exceptions.
src/jobs.ml diff | blob | history
tests/20-multiple-failures.gl [new file with mode: 0644] blob
tests/20-multiple-failures.sh [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.