it was one or the other. turns out it was the other.

This commit is contained in:
Jean-Paul Calderone 2021-01-06 14:33:31 -05:00
parent f24cc5da0c
commit 8e8a7d82c6

View File

@ -160,8 +160,8 @@ jobs:
# There doesn't seem to be a way to do any better, though.
#
# However, we have the further constraint that our build_num must
# agree with whatever python-coveralls has selected. An inspection
# of the python-coveralls source reveals (perhaps unsurprisingly)
# agree with whatever coveralls-python has selected. An inspection
# of the coveralls-python source reveals (perhaps unsurprisingly)
# its authors have selected GITHUB_RUN_ID.
#
# Thus, we select the same.