diff options
author | Ben Sima <ben@bsima.me> | 2024-12-21 08:53:41 -0500 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2024-12-21 10:06:40 -0500 |
commit | 482b80f6c5e97d8bf5711c8f8c3e91720a7ec7b5 (patch) | |
tree | da5fb3ca04febcb12f70b3d6a852537bf3b107e9 /.vimrc | |
parent | 7f0fd2bb6de504541f9c9fa8eaf5126087ae81a3 (diff) |
Don't create tags in CI
This cuts the env script short. Making tags was taking a long time and causing
git-branchless to fail. We don't need this in CI.
Diffstat (limited to '.vimrc')
0 files changed, 0 insertions, 0 deletions