Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .github/workflows/bencher-ab.yml
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,7 @@ jobs:
PYTHONPATH=../tests python convert_pico_to_bencher.py

- name: Upload PR results
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: benchmark-pr-${{ github.run_id }}
path: build/bencher.json
Expand Down Expand Up @@ -109,7 +109,7 @@ jobs:
PYTHONPATH=../tests python convert_pico_to_bencher.py

- name: Upload main results
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: benchmark-main-${{ github.run_id }}
path: build/bencher.json
Expand Down
10 changes: 5 additions & 5 deletions .github/workflows/ci-verification.yml
Original file line number Diff line number Diff line change
Expand Up @@ -50,7 +50,7 @@ jobs:
- run: cd tla && ./tlc.py mc consistency/MCMultiNodeReadsAlt.tla

- name: Upload TLC traces
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
if: ${{ failure() }}
with:
name: tlc-model-checking-consistency
Expand Down Expand Up @@ -96,7 +96,7 @@ jobs:
- run: ./tlc.py sim --num 500 --depth 50 consistency/MultiNodeReads.tla

- name: Upload TLC traces
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
if: ${{ failure() }}
with:
name: tlc-simulation-consistency
Expand Down Expand Up @@ -135,7 +135,7 @@ jobs:
- run: cd tla && ./tlc.py --trace-name 1C3N mc --term-count 0 --request-count 3 --raft-configs 1C3N consensus/MCccfraft.tla

- name: Upload TLC traces
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
if: ${{ failure() }}
with:
name: tlc-model-checking-consensus
Expand All @@ -161,7 +161,7 @@ jobs:
- run: ./tlc.py sim consensus/SIMccfraft.tla

- name: Upload TLC traces
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
if: ${{ failure() }}
with:
name: tlc-simulation-consensus
Expand Down Expand Up @@ -239,7 +239,7 @@ jobs:
shell: bash

- name: Upload artifacts.
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
if: always()
with:
name: tlc-trace-validation-consensus
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -189,7 +189,7 @@ jobs:
shell: bash

- name: "Upload logs for virtual"
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: logs-azurelinux-virtual
path: |
Expand Down Expand Up @@ -272,7 +272,7 @@ jobs:
if: success() || failure()

- name: "Upload logs"
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: logs-caci-snp
path: |
Expand Down Expand Up @@ -363,7 +363,7 @@ jobs:
if: success() || failure()

- name: "Upload logs"
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: logs-caci-snp-genoa
path: |
Expand Down
10 changes: 5 additions & 5 deletions .github/workflows/long-test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,7 @@ jobs:

- name: "Upload logs"
if: success() || failure()
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: logs-asan
path: |
Expand Down Expand Up @@ -123,7 +123,7 @@ jobs:

- name: "Upload logs"
if: success() || failure()
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: logs-tsan
path: |
Expand Down Expand Up @@ -188,7 +188,7 @@ jobs:

- name: "Upload logs"
if: success() || failure()
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: logs-e2e-debug
path: |
Expand Down Expand Up @@ -248,7 +248,7 @@ jobs:

- name: "Upload logs"
if: success() || failure()
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: logs-e2e-release
path: |
Expand Down Expand Up @@ -334,7 +334,7 @@ jobs:

- name: "Upload logs"
if: success() || failure()
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: e2e-long-combined
path: |
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/long-verification.yml
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ jobs:
- run: cd tla && ./tlc.py --trace-name 2C2N mc --term-count 2 --request-count 0 --raft-configs 2C2N --disable-check-quorum consensus/MCccfraft.tla

- name: Upload TLC traces
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
if: ${{ failure() }}
with:
name: tlc-model-checking-with-atomic-reconfig-consensus
Expand Down Expand Up @@ -82,7 +82,7 @@ jobs:
- run: cd tla && ./tlc.py --trace-name 3C2N mc --term-count 2 --request-count 0 --raft-configs 3C2N --disable-check-quorum consensus/MCccfraft.tla

- name: Upload TLC traces
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
if: ${{ failure() }}
with:
name: tlc-model-checking-with-reconfig-consensus
Expand All @@ -108,7 +108,7 @@ jobs:
- run: ./tlc.py sim --max-seconds 3000 --depth 500 consensus/SIMccfraft.tla

- name: Upload TLC traces
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
if: ${{ failure() }}
with:
name: tlc-simulation-consensus
Expand Down
20 changes: 10 additions & 10 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ jobs:
./sbom-tool generate -b . -bc . -pn CCF -ps Microsoft -nsb https://sbom.microsoft -pv $CCF_VERSION -V Error
shell: bash
- name: "Upload SBOM"
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: sbom
path: _manifest/spdx_2.2/*
Expand All @@ -56,7 +56,7 @@ jobs:
set -o pipefail
./scripts/extract-release-notes.py --target-git-version --describe-path-changes "./samples/constitution" | tee rel-notes.md
- name: "Upload Release Notes"
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: relnotes
path: rel-notes.md
Expand Down Expand Up @@ -146,7 +146,7 @@ jobs:

- name: "Upload logs"
if: success() || failure()
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: logs
path: |
Expand Down Expand Up @@ -208,19 +208,19 @@ jobs:
shell: bash

- name: "Upload .rpm Package"
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: pkg
path: build/${{ steps.make_rpm_devel.outputs.name }}

- name: "Upload Compatibility Report"
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: compatibility
path: build/compatibility_report.json

- name: "Upload TLS Report"
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: tls
path: build/tls_report.html
Expand All @@ -239,7 +239,7 @@ jobs:
shell: bash

- name: "Upload Python Wheel"
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: wheel
path: python/${{ steps.build_wheel.outputs.name }}
Expand All @@ -259,7 +259,7 @@ jobs:
shell: bash

- name: "Upload TS Package"
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: tstgz
path: js/ccf-app/${{ steps.build_tstgz.outputs.name }}
Expand All @@ -283,7 +283,7 @@ jobs:
cat $filename

- name: "Upload Reproducibility Metadata"
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: reproduce-metadata
path: reproduce.json
Expand Down Expand Up @@ -397,7 +397,7 @@ jobs:
cmp "$PKG" "DOWNLOAD_DIR/$(basename "$PKG")"
- name: Upload Non-Reproduced Package
if: failure()
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v5
with:
name: not-reproduced
path: ${{ env.REPRO_DIR }}
Expand Down