1
0
mirror of https://github.com/godotengine/godot.git synced 2025-12-31 18:41:20 +00:00
Files
godot/.github/workflows
A Thousand Ships 498edf3dd8 [CI] Improve fetching of changed files
PRs always use a merge into the repo on checkout, so checking for
`HEAD^1` will show all the changes regardless of the number of commits
in a PR

(cherry picked from commit 950743c3d8)
2024-04-08 15:48:29 +02:00
..
2023-11-30 09:35:35 +01:00
2023-11-30 09:35:35 +01:00
2023-11-30 09:35:35 +01:00
2023-11-30 09:35:35 +01:00
2023-11-30 09:35:35 +01:00