diff --git a/.github/workflows/csl-ci.yml b/.github/workflows/csl-ci.yml index 37e89fe..66d99be 100644 --- a/.github/workflows/csl-ci.yml +++ b/.github/workflows/csl-ci.yml @@ -22,7 +22,7 @@ jobs: run: | python -u mathematical_proof_system.py - name: Upload .cslx - uses: actions/upload-artifact@v4 + uses: actions/upload-artifact@v5 with: name: cslx path: mathematical_proof_system.py.cslx