CI: Check for GDExtension API compatibility breakage#76647

Merged

akien-mga merged 1 commit intogodotengine:masterfrom RedworkDE:gdextension-compat-ci

May 24, 2023

Commits on May 19, 2023

Allow validating the extension api against a reference version and a list of known changes.
RedworkDE
committed