Skip to content

Push images on push, schedule and manual runs - #1

Merged
pedantic-git merged 1 commit into
mainfrom
fix/push-event-filter
Nov 3, 2026
Merged

pedantic-git merged 1 commit into
mainfrom
fix/push-event-filter

Conversation

@pedantic-git

Copy link
Copy Markdown
Member

devcontainers/ci reads eventFilterForPush with getMultilineInput, so the comma-separated push,schedule,workflow_dispatch was treated as a single event name and the first build on main skipped pushing ("Image push skipped because GITHUB_EVENT_NAME (push) is not in eventFilterForPush"). This lists one event per line.

Merging this pushes the images.

🤖 Generated with Claude Code

The action reads eventFilterForPush as a multiline input, so the
comma-separated list was taken as one event name that never matched.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@pedantic-git
pedantic-git merged commit af05ccc into main Nov 3, 2026
3 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