Skip to content

ci: lancer les workflows d'image après une release dispatchée - #30

Merged
maxgfr merged 1 commit into
mainfrom
ci-images-after-dispatched-release
Oct 5, 2026
Merged

maxgfr merged 1 commit into
mainfrom
ci-images-after-dispatched-release

Conversation

@maxgfr

@maxgfr maxgfr commented Oct 5, 2026

Copy link
Copy Markdown
Owner

Problème

ae5a3a8 (merge de grammars-repin par github-actions[bot]) n'a déclenché ni main-image ni embed-image : grammars-repin merge avec GITHUB_TOKEN puis dispatche Release, et GitHub n'émet pas d'événement workflow_run pour les runs causés par GITHUB_TOKEN. Résultat : codeindex-embed:latest est resté sur c1ffe89.

Correctif

Dernière étape du job release : quand Release a été lancé par workflow_dispatch et que tout est passé, dispatcher explicitement main-image.yml et embed-image.yml (le dispatch est la seule exception à la règle anti-récursion). Ajout de la permission actions: write.

grammars-repin merges with GITHUB_TOKEN and dispatches Release. GitHub
does not emit workflow_run for runs caused by GITHUB_TOKEN, so neither
main-image nor embed-image ran for ae5a3a8 and codeindex-embed:latest
lagged behind main. Dispatch both explicitly at the end of a dispatched
Release.
@maxgfr
maxgfr merged commit a77049b into main Oct 5, 2026
2 checks passed
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