diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2021-07-04 22:55:14 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2021-07-06 12:20:58 -0700 |
| commit | 0dc787a9f23f78902b8792e44ff8187398e49de8 (patch) | |
| tree | 1f22f4c2231db43beb6e998f9bbbdce3f1a01f9e /grep.c | |
| parent | ci (vs-build): build with NO_GETTEXT (diff) | |
| download | tgif-0dc787a9f23f78902b8792e44ff8187398e49de8.tar.xz | |
ci: accelerate the checkout
By upgrading from v1 to v2 of `actions/checkout`, we avoid fetching all
the tags and the complete history: v2 only fetches one revision by
default. This should make things a lot faster.
Note that `actions/checkout@v2` seems to be incompatible with running in
containers: https://github.com/actions/checkout/issues/151. Therefore,
we stick with v1 there.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'grep.c')
0 files changed, 0 insertions, 0 deletions