From 3c722eab00aef6db8bad14e6bc5f425609187fc1 Mon Sep 17 00:00:00 2001 From: Palina Date: Mon, 6 Jan 2025 22:28:18 +0400 Subject: [PATCH] Pin Python version for code quality checks. (#2674) * Pin Python version for code quality checks. pin python version on public runners. https://github.com/runtimeverification/evm-semantics/actions/runs/12629580595/job/35187761558#step:4:86 Public runners use python version determined by Github. * Update `copytree` function to support Python 3.12 (#2672) * Update `copytree` dependency * Allow copying to an existing dir * Make the copied plugin directory readable and writeable --------- Co-authored-by: Freeman <105403280+F-WRunTime@users.noreply.github.com> --- .github/workflows/test-pr.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml index b3cdc34f67..a897ddbef8 100644 --- a/.github/workflows/test-pr.yml +++ b/.github/workflows/test-pr.yml @@ -12,6 +12,10 @@ jobs: name: 'Code Quality Checks' runs-on: ubuntu-latest steps: + - name: 'Setup Python 3.10' + uses: actions/setup-python@v5 + with: + python-version: '3.10' - name: 'Check out code' uses: actions/checkout@v4 - name: 'Install Poetry'