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
8 changes: 4 additions & 4 deletions .github/workflows/ci-containers-ghcr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -23,21 +23,21 @@ jobs:
- uses: actions/checkout@v6

- name: Log in to the Container registry
uses: docker/login-action@v3
uses: docker/login-action@v4
with:
registry: ${{ env.REGISTRY }}
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}

- name: Extract metadata (tags, labels) for default image
id: meta_default
uses: docker/metadata-action@v5
uses: docker/metadata-action@v6
with:
images: ${{ env.REGISTRY }}/${{ github.repository }}/ci/default

- name: Build and push default container
id: push_default
uses: docker/build-push-action@v6
uses: docker/build-push-action@v7
with:
context: .
file: ./docker/ccf_ci
Expand All @@ -49,7 +49,7 @@ jobs:
labels: ${{ steps.meta_default.outputs.labels }}

- name: Attest default container
uses: actions/attest-build-provenance@v2
uses: actions/attest-build-provenance@v4
with:
subject-name: ${{ env.REGISTRY }}/${{ github.repository }}/ci/default
subject-digest: ${{ steps.push_default.outputs.digest }}
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 @@ -48,7 +48,7 @@ jobs:
- run: cd tla && ./tlc.py mc consistency/MCMultiNodeReadsAlt.tla

- name: Upload TLC traces
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v7
if: ${{ failure() }}
with:
name: tlc-model-checking-consistency
Expand Down Expand Up @@ -94,7 +94,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@v7
if: ${{ failure() }}
with:
name: tlc-simulation-consistency
Expand Down Expand Up @@ -128,7 +128,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@v7
if: ${{ failure() }}
with:
name: tlc-model-checking-consensus
Expand All @@ -154,7 +154,7 @@ jobs:
- run: ./tlc.py sim consensus/SIMccfraft.tla

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

- name: Upload artifacts.
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v7
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 @@ -140,7 +140,7 @@ jobs:
shell: bash

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

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

- name: "Upload logs"
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v7
with:
name: logs-caci-snp-genoa
path: |
Expand Down
8 changes: 4 additions & 4 deletions .github/workflows/containers-ghcr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ jobs:
- uses: actions/checkout@v6

- name: Log in to the Container registry
uses: docker/login-action@v3
uses: docker/login-action@v4
with:
registry: ${{ env.REGISTRY }}
username: ${{ github.actor }}
Expand All @@ -50,14 +50,14 @@ jobs:

- name: Extract metadata (tags, labels) for the image
id: meta
uses: docker/metadata-action@v5
uses: docker/metadata-action@v6
with:
images: ${{ steps.tref.outputs.img_name }}
if: ${{ steps.tref.outputs.major_release >= '5'}}

- name: Build and push container
id: push
uses: docker/build-push-action@v6
uses: docker/build-push-action@v7
with:
context: .
file: ./docker/app_${{ matrix.type }}
Expand All @@ -71,7 +71,7 @@ jobs:
if: ${{ steps.tref.outputs.major_release >= '5'}}

- name: Attest container
uses: actions/attest-build-provenance@v2
uses: actions/attest-build-provenance@v4
with:
subject-name: ${{ steps.tref.outputs.img_name }}
subject-digest: ${{ steps.push.outputs.digest }}
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/doc.yml
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ jobs:

- name: Setup Pages
id: pages
uses: actions/configure-pages@v5
uses: actions/configure-pages@v6

- name: Build Documentation
run: |
Expand All @@ -52,7 +52,7 @@ jobs:
shell: bash

- name: Upload pages
uses: actions/upload-pages-artifact@v3
uses: actions/upload-pages-artifact@v4
with:
path: build/html

Expand All @@ -72,4 +72,4 @@ jobs:
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4
uses: actions/deploy-pages@v5
12 changes: 6 additions & 6 deletions .github/workflows/long-test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ jobs:

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

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

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

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

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

- name: "Upload logs"
if: success() || failure()
uses: actions/upload-artifact@v4
uses: actions/upload-artifact@v7
with:
name: logs-e2e-shuffled
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 @@ -42,7 +42,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@v7
if: ${{ failure() }}
with:
name: tlc-model-checking-with-atomic-reconfig-consensus
Expand Down Expand Up @@ -75,7 +75,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@v7
if: ${{ failure() }}
with:
name: tlc-model-checking-with-reconfig-consensus
Expand All @@ -101,7 +101,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@v7
if: ${{ failure() }}
with:
name: tlc-simulation-consensus
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/npm.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ jobs:

steps:
- uses: actions/checkout@v6
- uses: actions/setup-node@v4
- uses: actions/setup-node@v6
with:
node-version: 24
registry-url: "https://registry.npmjs.org"
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/release-attestation.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ jobs:

- name: Attest release assets
id: attest
uses: actions/attest-build-provenance@v3
uses: actions/attest-build-provenance@v4
with:
subject-path: "release-assets/*"

Expand Down
Loading