diff options
| author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2021-04-28 13:58:06 +0200 |
|---|---|---|
| committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2021-04-28 14:46:54 +0200 |
| commit | 0dbdd43446a040fc1a2670390af4c5c51ea902c7 (patch) | |
| tree | cf977a0e81b7b428341e80a64147c2bef2b72b07 /.github/workflows/build.yml | |
| parent | 7c3972c0a3ad18d42d75c84e472d4bc256c1f96c (diff) | |
CI: Add comment regarding the git fetch depth
Diffstat (limited to '.github/workflows/build.yml')
| -rw-r--r-- | .github/workflows/build.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 1ede4132eb..c19ca8d4cd 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -146,6 +146,7 @@ jobs: - name: "Check out repository" uses: actions/checkout@v2 with: + # This is necessary for making `git describe` work. fetch-depth: 0 - name: "Ensure that all tags are fetched" |