diff options
| author | Jason Gross | 2020-09-14 19:25:22 -0400 |
|---|---|---|
| committer | Jason Gross | 2020-09-14 19:25:22 -0400 |
| commit | d0d2857a8037cbf91be17732db7d2a78b495e837 (patch) | |
| tree | 017cd3585e156e8f9d3ad6e32d417e0643138e95 /dev/ci | |
| parent | 090550218d0a6d08c7df34b1238d5c0d38520bd5 (diff) | |
[CI] Always upload artifacts
In order to support the workflow where coqbot automatically turns
failing CI jobs into minimized examples for the test-suite easily
(https://github.com/coq/bot/issues/107), we want to be able to get all
of the .v files and all of the generated .vo and .glob files in the
artifact, even when the build fails.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions