diff --git a/ci/ci.py b/ci/ci.py new file mode 100644 index 000000000..660e8e107 --- /dev/null +++ b/ci/ci.py @@ -0,0 +1,3 @@ +#!/usr/bin/env python3 + +exit (0) \ No newline at end of file diff --git a/ci/ci.sh b/ci/ci.sh deleted file mode 100755 index c52d3c26b..000000000 --- a/ci/ci.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -exit 0