You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This adds the supported-configurations.json to php. That file is
auto generated from configuration.h. As long as they are in sync,
things will work easily. The validation step verifies in the CI
if the file got updated or not and would fail, if a change was
added without committing.
The one pipeline CI checks are added as well to make sure new
configurations are added to the central repository before the PR
that adds the config lands.
if ! git diff --exit-code -- metadata/supported-configurations.json ext/configuration.h; then
26
+
echo "ERROR: @metadata/supported-configurations.json and @ext/configuration.h got out of sync. Please run tooling/generate-supported-configurations.py locally."
0 commit comments