diff options
author | Nick Mathewson <nickm@torproject.org> | 2023-10-12 17:13:20 -0400 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2023-10-12 17:41:34 -0400 |
commit | fc819f9980ee8e9f95f49397b2fadcda06a60b7b (patch) | |
tree | b03d7021d74214e4b95a051b73587e781827d8c7 /proposals/reindex.py | |
parent | 4040e872a63b10940f351bf97076c66074e54686 (diff) | |
download | torspec-fc819f9980ee8e9f95f49397b2fadcda06a60b7b.tar.gz torspec-fc819f9980ee8e9f95f49397b2fadcda06a60b7b.zip |
gitlab ci for a basic test
This test just tries to make sure reindex has been run,
and that mdbook passes.
Diffstat (limited to 'proposals/reindex.py')
-rwxr-xr-x | proposals/reindex.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proposals/reindex.py b/proposals/reindex.py index 476ed19..8bc9729 100755 --- a/proposals/reindex.py +++ b/proposals/reindex.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 import sys if sys.version_info[0] < 3: |