diff options
author | 2022-06-01 12:15:08 -0700 | |
---|---|---|
committer | 2022-06-01 12:15:08 -0700 | |
commit | 433a30a20a4f54bb19259377f0d0995a65d66c04 (patch) | |
tree | baa0cf569ce91124dc1a94ee9755d79b5e86315b /scripts/version.py | |
parent | Remove GIT_SHA from README.md (diff) |
CI: print the version to help with debugging
Diffstat (limited to 'scripts/version.py')
0 files changed, 0 insertions, 0 deletions