Skip to content

release workflow: build/copy the engine under its post-rename name (v1.1.0 tag build failed) - #512

Merged
JustVugg merged 1 commit into
devfrom
fix/release-workflow-engine-rename
Jul 22, 2026
Merged

release workflow: build/copy the engine under its post-rename name (v1.1.0 tag build failed)#512
JustVugg merged 1 commit into
devfrom
fix/release-workflow-engine-rename

Conversation

@JustVugg

Copy link
Copy Markdown
Owner

The v1.1.0 tag build failed before publishing anything: release.yml still ran make glm and then ls -lh glm / cp c/glm. Since #391 the alias builds a binary named colibri, so the macOS job died at the ls, the other jobs were cancelled by fail-fast, and the release job was skipped (run).

CI stays green through all of this because only a tag push executes this workflow — the same blind spot the v1.0.0 msys2 shell bug exploited, and exactly what the verify step in this file warns about.

Fix: make colibri + ls -lh colibri in the build step, cp c/colibri in the package step — matching what ci.yml already does. The packaged filename inside the archive is unchanged (plain colibri, per #508).

After merge this needs to reach main and the v1.1.0 tag re-pointed (no release was published, so deleting and re-pushing the tag is safe).

🤖 Generated with Claude Code

The #391 rename left release.yml building 'make glm' (an alias that now
produces 'colibri') and then asserting/copying 'c/glm', which no longer
exists. CI never catches this: only a tag push runs this workflow, so the
v1.1.0 tag build failed on macOS at 'ls -lh glm' with the other jobs
cancelled and the release skipped.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@JustVugg
JustVugg merged commit 405e7bc into dev Jul 22, 2026
9 checks passed
JustVugg added a commit that referenced this pull request Jul 22, 2026
Release v1.1.0, take two: fix the tag-build workflow (#512) + COLI_TEMP / ROCm collision (#513)
@JustVugg
JustVugg deleted the fix/release-workflow-engine-rename branch July 24, 2026 06:53
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