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/Dragons.nix | |
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/Dragons.nix')
0 files changed, 0 insertions, 0 deletions