Compare commits

..

No commits in common. "f78e03264fa9c15a21d7f79dfb73fb096e8a4d59" and "1b0e3070bbd34e96eeda98ff3d8a55d4090ee54f" have entirely different histories.

2 changed files with 4 additions and 4 deletions

View file

@ -15,11 +15,11 @@ jobs:
runs-on: ubuntu-latest
if: ${{ github.event.workflow_run.conclusion == 'success' }}
steps:
- uses: actions/checkout@v6
- uses: actions/checkout@v4
- uses: actions-rust-lang/setup-rust-toolchain@v1
- uses: actions/download-artifact@v8
- uses: actions/download-artifact@v4
with:
name: profile-metrics
path: /tmp/metrics/

View file

@ -11,7 +11,7 @@ jobs:
profile:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v6
- uses: actions/checkout@v4
with:
fetch-depth: 0
@ -53,7 +53,7 @@ jobs:
echo '${{ github.base_ref }}' > /tmp/metrics/base_ref.txt
echo '${{ github.head_ref }}' > /tmp/metrics/head_ref.txt
- uses: actions/upload-artifact@v7
- uses: actions/upload-artifact@v4
with:
name: profile-metrics
path: /tmp/metrics/