fix: CI

dnbln · Feb 6, 2024 · fdd0d6e · fdd0d6e
1 parent 89af973
commit fdd0d6e
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 3 deletions.
diff --git a/.github/workflows/deploy_docs.yaml b/.github/workflows/deploy_docs.yaml
@@ -33,7 +33,7 @@ jobs:
 
  steps:
  - name: Checkout repository
- uses: actions/checkout@v3
+ uses: actions/checkout@v4
 
  - name: Build Writerside docs using Docker
  uses: JetBrains/writerside-github-action@v4

diff --git a/.github/workflows/rerun-dirty-tests-index.yaml b/.github/workflows/rerun-dirty-tests-index.yaml
@@ -11,7 +11,9 @@ jobs:
  runs-on: ubuntu-latest
  steps:
  - name: Checkout repository
- uses: actions/checkout@v3
+ uses: actions/checkout@v4
+ with:
+ fetch-depth: 0
 
  - name: Install latest nightly
  uses: actions-rs/toolchain@v1

diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
@@ -13,7 +13,7 @@ jobs:
 
  steps:
  - name: Checkout repository
- uses: actions/checkout@v3
+ uses: actions/checkout@v4
 
  - name: Install latest nightly
  uses: actions-rs/toolchain@v1

diff --git a/sample/cargo-difftests-sample-project/src/advanced_arithmetic.rs b/sample/cargo-difftests-sample-project/src/advanced_arithmetic.rs
@@ -13,5 +13,6 @@ pub fn div(a: i32, b: i32) -> Option<i32> {
  Some(div_unchecked(a, b))
  } else {
  None
+ // a
  }
 }