Attesteer Windows zip en installer als één buildcohort #2313

Closed
opened 2026-10-06 01:47:49 +00:00 by brenno · 0 comments
Owner

Probleem

De GitHub-spiegel overschrijft de Windows-zip en installer na elkaar. Als de zip wordt vervangen en de installerupload faalt, staat een gemengd paar uit twee pogingen klaar. De Forgejo-release accepteert bestaande bestanden alleen op naam en downloadbaarheid en kan daarna een nieuw manifest maken over dit incoherente paar.

Bewijs

  • .github/workflows/release.yml:265-270 uploadt beide bestanden sequentieel met --clobber.
  • .forgejo/workflows/release.yml:518-523 en 545-548 accepteert een bestaand paar zonder cohort-, commit- of manifestcontrole.
  • Issue #2300 koppelt herdispatch aan de juiste run, maar bewijst niet dat twee reeds aanwezige assets uit diezelfde run komen.

Gewenst gedrag

  • Publiceer per Windowsrun een attest of manifest met tagcommit, run-id en beide hashes.
  • Forgejo accepteert uitsluitend zip en installer die samen door exact dat cohort zijn geproduceerd.
  • Een gedeeltelijke upload blijft onbruikbaar en wordt bij hervatten veilig vervangen.
  • SHA256SUMS wordt pas gemaakt nadat cohortcontrole groen is.

Regressietoets

Laat een rerun de zip vervangen en vóór de installer falen. De Forgejo-route moet het gemengde paar weigeren en mag geen release-manifest publiceren.

## Probleem De GitHub-spiegel overschrijft de Windows-zip en installer na elkaar. Als de zip wordt vervangen en de installerupload faalt, staat een gemengd paar uit twee pogingen klaar. De Forgejo-release accepteert bestaande bestanden alleen op naam en downloadbaarheid en kan daarna een nieuw manifest maken over dit incoherente paar. ## Bewijs - .github/workflows/release.yml:265-270 uploadt beide bestanden sequentieel met --clobber. - .forgejo/workflows/release.yml:518-523 en 545-548 accepteert een bestaand paar zonder cohort-, commit- of manifestcontrole. - Issue #2300 koppelt herdispatch aan de juiste run, maar bewijst niet dat twee reeds aanwezige assets uit diezelfde run komen. ## Gewenst gedrag - Publiceer per Windowsrun een attest of manifest met tagcommit, run-id en beide hashes. - Forgejo accepteert uitsluitend zip en installer die samen door exact dat cohort zijn geproduceerd. - Een gedeeltelijke upload blijft onbruikbaar en wordt bij hervatten veilig vervangen. - SHA256SUMS wordt pas gemaakt nadat cohortcontrole groen is. ## Regressietoets Laat een rerun de zip vervangen en vóór de installer falen. De Forgejo-route moet het gemengde paar weigeren en mag geen release-manifest publiceren.
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
LibreKAT/Ocideck#2313
No description provided.