diff --git a/.github/workflows/makefile-test.yaml b/.github/workflows/makefile-test.yaml index 48aff20..a17a99b 100644 --- a/.github/workflows/makefile-test.yaml +++ b/.github/workflows/makefile-test.yaml @@ -16,7 +16,7 @@ jobs: steps: - uses: actions/checkout@v4 - name: Set up Python - uses: actions/setup-python@v5 + uses: actions/setup-python@v6 with: python-version: ${{ matrix.python-version }} - name: Install latest CBMC diff --git a/.github/workflows/summarize-test.yaml b/.github/workflows/summarize-test.yaml index 4e77942..4d05101 100644 --- a/.github/workflows/summarize-test.yaml +++ b/.github/workflows/summarize-test.yaml @@ -17,7 +17,7 @@ jobs: - name: Check out repository uses: actions/checkout@v4 - name: Set up Python - uses: actions/setup-python@v5 + uses: actions/setup-python@v6 with: python-version: ${{ matrix.python-version }} - name: Run unit test for the 'summarize' module