diff --git a/.github/workflows/daily_property_tests.yml b/.github/workflows/daily_property_tests.yml index 6e02c1e..8245630 100644 --- a/.github/workflows/daily_property_tests.yml +++ b/.github/workflows/daily_property_tests.yml @@ -37,7 +37,7 @@ jobs: - name: "Install Rust toolchain" run: rustup show - name: "Install mold" - uses: rui314/setup-mold@e16410e7f8d9e167b74ad5697a9089a35126eb50 # v1 + uses: rui314/setup-mold@85c79d00377f0d32cdbae595a46de6f7c2fa6599 # v1 - uses: Swatinem/rust-cache@98c8021b550208e191a6a3145459bfc9fb29c4c0 # v2.8.0 - name: Build ty # A release build takes longer (2 min vs 1 min), but the property tests run much faster in release