Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
tools: fix permissions for merve update script
Add execute permission for `tools/dep_updaters/update-merve.sh` so that
the "Tools and deps update" workflow can run it.
  • Loading branch information
richardlau committed Feb 27, 2026
commit db9c77efe14898880ebc903190d600b21afabe64
Empty file modified tools/dep_updaters/update-merve.sh
100644 → 100755
Empty file.
Loading