diff --git a/.github/workflows/daily_property_tests.yml b/.github/workflows/daily_property_tests.yml index eaf8836..dcbee5a 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@702b1908b5edf30d71a8d1666b724e0f0c6fa035 # v1 + uses: rui314/setup-mold@7344740a9418dcdcb481c7df83d9fbd1d5072d7d # 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