---

title: Release must publish version X.Y.Z to the SWI-Prolog pack list when tag vX.Y.Z is pushed. status: closed text_ref: release:.github/workflows/release.yml#L3 tags:

• strict-modeling
• confidence:0.90
• confidence-band:high
• provenance:release-github-workflows-release-yml-l3
• lane:strict

semantic_text: Release must publish version X.Y.Z to the SWI-Prolog pack list when tag vX.Y.Z is pushed. logic_claims:

• CLAIM-DF936315539BA94D

semantic_clauses:

• Release must publish version X.Y.Z to the SWI-Prolog pack list when tag vX.Y.Z is pushed.

semantic_inventory_version: kibi.semantic-inventory.v1 semantic_source_field: semantic_text semantic_source_hash: 917c9ce502b5560a4ee4208e48fff98776e671b5982909f88e2bbbecda203838 semantic_inventory:

claim_key:CLAIM - DF936315539BA94D

claim_text: Release must publish version X.Y.Z to the SWI-Prolog pack list when tag vX.Y.Z is pushed role: normative status: modeled span: start: 0 end: 88 origin: kind: import ref: release:.github/workflows/release.yml#L3 recorded_at: '2026-10-29T16:05:25.132Z' firmness: firm required_evidence: asserted id: REQ-AUTO-BC26B2E2E2D88478 type: req --- Release must publish version X.Y.Z to the SWI-Prolog pack list when tag vX.Y.Z is pushed.

Source

# Pushing a tag vX.Y.Z publishes that version: installing the tagged

Source: Release workflow - .github/workflows/release.yml#L3