diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-08-03 18:33:56 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-08-03 18:33:56 +0200 |
| commit | ddd14a65f16c81fa73b5e07c07183fcb86de93f2 (patch) | |
| tree | 99d271748f13dbb7a9a668a2557f936f6863a84c /misc/scripts/validate_extension_api.sh | |
| parent | df57d0b5697d86d15f9e2960ffb54a676b3c2453 (diff) | |
| parent | a890457693bea80d213d2e9c88ea92905ba7dad4 (diff) | |
| download | redot-engine-ddd14a65f16c81fa73b5e07c07183fcb86de93f2.tar.gz | |
Merge pull request #80220 from akien-mga/ci-api-compat-mandatory
CI: Make extension API compatibility check mandatory
Diffstat (limited to 'misc/scripts/validate_extension_api.sh')
0 files changed, 0 insertions, 0 deletions