remove github upload
CI / Stable checks (push) Successful in 34s
CI / Rust 1.85 (push) Successful in 24s
CI / Miri (push) Successful in 47s
CI / Coverage (push) Successful in 38s

This commit is contained in:
2026-07-31 14:37:36 +02:00
parent c3c936c639
commit 284b3dadf8
+1 -9
View File
@@ -89,15 +89,7 @@ jobs:
--branch \
--html \
--output-dir target/coverage-report
- name: Upload HTML coverage report on GitHub
if: github.server_url == 'https://github.com'
uses: actions/upload-artifact@v7
with:
name: coverage-report
path: target/coverage-report
if-no-files-found: error
retention-days: 14
- name: Upload HTML coverage report on Gitea
- name: Upload HTML coverage report
# Gitea does not support the artifact service used by v4 and later.
if: github.server_url != 'https://github.com'
uses: actions/upload-artifact@v3