diff --git a/ci/check_godbolt.py b/ci/check_godbolt.py index e8ff978a0..803bfb81c 100755 --- a/ci/check_godbolt.py +++ b/ci/check_godbolt.py @@ -156,4 +156,3 @@ def main(): if __name__ == "__main__": main() -