Add a scheduled bot that refreshes the CFFI surface from MobilityDB stable-1.3 - #24
Open
estebanzimanyi wants to merge 1 commit into
Open
Conversation
…hedule A scheduled workflow re-derives builder/meos.h and the pymeos_cffi wrappers from the MobilityDB stable-1.3 line this package pins (via the shared MEOS-API provision-meos action) and opens a PR only when the committed surface has drifted. The normal build and ruff CI then gates that refresh PR.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
.github/workflows/meos-surface-refresh.ymlre-derives the committed CFFI surface (builder/meos.h,pymeos_cffi/functions.py,pymeos_cffi/__init__.py) daily against the MobilityDBstable-1.3line this package pins — via the sharedMobilityDB/MEOS-APIprovision-meosaction with-DNPOINT=ON— and opens a PR only when the surface has drifted. It is non-blocking: it gates nothing, and the refresh PR it opens runs the normal build and ruff CI like any other change.The workflow mirrors the same drift bot MobilityDuck runs. A
MEOS_AUTOBUMP_TOKENsecret (PAT) makes the opened refresh PR trigger CI; it falls back toGITHUB_TOKEN(the PR opens but is re-triggered manually) when the secret is absent.