Skip to content

Refresh the vendored MEOS-API artefacts - #17

Open
github-actions[bot] wants to merge 1 commit into
masterfrom
tooling/refresh-meos-api-vendor
Open

github-actions[bot] wants to merge 1 commit into
masterfrom
tooling/refresh-meos-api-vendor

Conversation

@github-actions

Copy link
Copy Markdown

make vendor-meos-api regenerates vendor/meos-api/ from MEOS-API
master and the MobilityDB headers it parses, and the result differs
from the committed copy.

Opened by the scheduled Vendor drift (MEOS-API) run, which reruns
daily and updates this pull request while the difference stands.

@github-actions
github-actions Bot force-pushed the tooling/refresh-meos-api-vendor branch 8 times, most recently from ecb98fd to 81b91b7 Compare September 6, 2026 06:09
@github-actions
github-actions Bot force-pushed the tooling/refresh-meos-api-vendor branch 7 times, most recently from daa69d0 to 3f092b2 Compare September 13, 2026 06:14
@github-actions
github-actions Bot force-pushed the tooling/refresh-meos-api-vendor branch 5 times, most recently from 07f2ffa to 775b09d Compare September 18, 2026 06:10
@github-actions
github-actions Bot force-pushed the tooling/refresh-meos-api-vendor branch from 775b09d to 75796ca Compare September 19, 2026 06:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant