Skip to content

Refresh the vendored MEOS-API artefacts - #15

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

Refresh the vendored MEOS-API artefacts#15
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 from 5f8810a to 70df3bd 比较 August 27, 2026 09:49
@github-actions
github-actions Bot force-pushed the tooling/refresh-meos-api-vendor branch from 70df3bd to 1bc9b51 比较 August 28, 2026 09:07
@estebanzimanyi

Copy link
Copy Markdown
Member

Master carries these artefacts generated with the object-model oracle in place: the parity report reads status: audited with oraclePath: pymeos/factory.py, every divergence explained by a curated correction and none outstanding, and the catalog is the larger, later one.

The refresh on this branch carries the oracle-unavailable degradation, whose oraclePath names one runner's temporary directory. Applying it drops the audit and installs a path that no regeneration reproduces, and an artefact carrying such a path differs from every regeneration of it, which is the condition that holds the drift gate red.

注册 for free to join this conversation on GitHub. Already have an account? 登录 to comment

标签

None yet

项目

None yet

Development

Successfully merging this pull request may close these issues.

1 participant