Better mtimes for github workflow build cache (#1421)

Saves and restores mtimes to a file, also covering the `o/` directory to
hopefully preserve make dependency information better.
This commit is contained in:
Steven Dee (Jōshin) 2025-05-20 22:17:55 -07:00 committed by GitHub
parent 4ca513cba2
commit 2fe8338f92
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 32 additions and 12 deletions

View file

@ -444,7 +444,7 @@ class weak_ptr
return *this;
}
template <typename U>
template<typename U>
requires __::shared_ptr_compatible<T, U>
weak_ptr& operator=(weak_ptr<U> r) noexcept
{