From b925662d9a1886bad04eed7eaf4cb0189634bdc6 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 27 Oct 2025 03:54:57 +0000 Subject: [PATCH] Bump actions/upload-artifact from 4 to 5 Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 4 to 5. - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](https://github.com/actions/upload-artifact/compare/v4...v5) --- updated-dependencies: - dependency-name: actions/upload-artifact dependency-version: '5' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/csl-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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