Diff - d515916885f231e57d050c7e74d647a6617e7d42^2..d515916885f231e57d050c7e74d647a6617e7d42 - third_party/verible - Git at Google

commit: d515916885f231e57d050c7e74d647a6617e7d42
[log]
author: Henner Zeller <h.zeller@acm.org>
Sun Feb 16 14:13:21 2025 -0800
committer: GitHub <noreply@github.com>
Sun Feb 16 14:13:21 2025 -0800
tree: b0d47c24b386cbc5b5c490b80104bf47b05678a8
parent: 0e3fe53a18767d383b15a2d2205351f86510b08d [diff]
parent: 67b8fe74e31f81ac1d1fc943997f049a19e06673 [diff]

Merge pull request #2354 from hzeller/feature-20250216-update-actions

Update github actions that are deprecated.