Skip to content

Regenerate the CFFI surface from MobilityDB master - #45

Merged
estebanzimanyi merged 1 commit into
masterfrom
tooling/refresh-cffi-surface
Nov 1, 2026
Merged

estebanzimanyi merged 1 commit into
masterfrom
tooling/refresh-cffi-surface

Conversation

@github-actions

@github-actions github-actions Bot commented Nov 1, 2026

Copy link
Copy Markdown

The committed CFFI surface drifted from a fresh derivation against the
MobilityDB master line this package pins; this regenerates it.

Opened by the Refresh the CFFI surface from MobilityDB master workflow.

@estebanzimanyi
estebanzimanyi merged commit 922e927 into master Nov 1, 2026
@estebanzimanyi
estebanzimanyi deleted the tooling/refresh-cffi-surface branch November 1, 2026 09:25
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