mirror of https://github.com/pwndbg/pwndbg.git
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
15 lines
370 B
Bash
15 lines
370 B
Bash
#!/usr/bin/env bash
|
|
|
|
source "$(dirname "$0")/common.sh"
|
|
|
|
# This script should only be run in our ubuntu-latest CI
|
|
|
|
if [ "$($UV_RUN python -V 2>&1)" = "Python $CI_PYTHON" ]; then
|
|
echo "The CI Python version ($CI_PYTHON) is set correctly."
|
|
else
|
|
echo "The CI Python version ($CI_PYTHON) is NOT set correctly"
|
|
echo "Actual: "
|
|
$UV_RUN python -V
|
|
exit 1
|
|
fi
|