diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2023-10-16 02:41:12 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2023-10-16 04:27:53 +0200 |
| commit | 0c1797383f47fc2e8ba611479b3d53d600d88e85 (patch) | |
| tree | e44f4879e3a52992e713fd93abf3e07ee012cce6 /platform/ios/export/export_plugin.cpp | |
| parent | a574c0296b38d5f786f249b12e6251e562c528cc (diff) | |
| download | redot-engine-0c1797383f47fc2e8ba611479b3d53d600d88e85.tar.gz | |
Identify pull request builds from GitHub Actions with the PR number
This makes it easier to go back to the pull request the build was
made from.
Diffstat (limited to 'platform/ios/export/export_plugin.cpp')
0 files changed, 0 insertions, 0 deletions