Skip to content

Commit

Permalink
Fail if release number couldn't be obtained
Browse files Browse the repository at this point in the history
  • Loading branch information
palvarez89 committed Nov 1, 2023
1 parent 449523c commit 3f0df1b
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions docs/source/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -32,6 +32,9 @@
import os
release = re.sub('-.+-.{8}$', '', os.popen('git describe').read().strip())

if not release:
print("Failed to get release number using git-describe")
exit(1)

# -- General configuration ---------------------------------------------------

Expand Down

0 comments on commit 3f0df1b

Please sign in to comment.