diff options
| author | Ben Sima <ben@bsima.me> | 2024-04-03 15:29:37 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2024-04-03 16:18:12 -0400 |
| commit | 177b2f42de0339c3ac91ee7b9a91d47bd39d3062 (patch) | |
| tree | 6ba553d2cb57e034e0a975b0911ae940bcd00327 /System/Random/Shuffle.hs | |
| parent | 432739b3e950f3ee33d4f083343b28f7755d0861 (diff) | |
Don't exit CI script on failure
The whole point is to catch errors and write the result to the git notes, if the
process exits then we can't do that.
Diffstat (limited to 'System/Random/Shuffle.hs')
0 files changed, 0 insertions, 0 deletions