diff options
author | Ben Sima <ben@bsima.me> | 2023-08-21 21:35:01 -0400 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2023-08-21 21:57:08 -0400 |
commit | 3ac752fcd94cf8796c6cbe03438211d55dc2d446 (patch) | |
tree | 3e15314a9f18ff9f5258460f1796b4e3c13d5518 /Urbit/Cloud.hs | |
parent | e5a6175e044d69b8f598a2c2acb9bcfd77b9001c (diff) |
Only run pre-push if there hasn't been a successful run
Diffstat (limited to 'Urbit/Cloud.hs')
0 files changed, 0 insertions, 0 deletions