diff options
| author | Ben Sima <ben@bsima.me> | 2023-08-14 20:50:20 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2023-08-16 14:29:43 -0400 |
| commit | 5c214478cc2d9e78ba78f3911f9fede2029c829f (patch) | |
| tree | a307ddc9939e741e53f510c6479b32adb158f7f4 /Biz/Ide/pre-push | |
| parent | 2d8b280ed2c73d65fb905a580e9499bb7f69ff01 (diff) | |
Turn pre-push into a record-keeping ci
This is necessary because otherwise I have no record of when I had a
successful build.
Diffstat (limited to 'Biz/Ide/pre-push')
0 files changed, 0 insertions, 0 deletions