Skip to content

Avoid full-history checkout in publish workflow - #8664

Merged
cknitt merged 1 commit into
rescript-lang:masterfrom
cknitt:codex/avoid-full-history-publish
Sep 22, 2026
Merged

cknitt merged 1 commit into
rescript-lang:masterfrom
cknitt:codex/avoid-full-history-publish

Conversation

@cknitt

@cknitt cknitt commented Sep 21, 2026

Copy link
Copy Markdown
Member

Summary

  • Avoid fetching the full Git history in the publish workflow.
  • Check the remote repository directly when determining whether a release tag already exists.
  • Support both annotated and lightweight Git tags by resolving an annotated tag to the commit it ultimately points to, while using a lightweight tag’s commit directly.

Signed-off-by: Christoph Knittel <ck@cca.io>
@pkg-pr-new

pkg-pr-new Bot commented Sep 21, 2026

Copy link
Copy Markdown

Open in StackBlitz

rescript

npm i https://pkg.pr.new/rescript@8664

@rescript/belt

npm i https://pkg.pr.new/@rescript/belt@8664

@rescript/darwin-arm64

npm i https://pkg.pr.new/@rescript/darwin-arm64@8664

@rescript/darwin-x64

npm i https://pkg.pr.new/@rescript/darwin-x64@8664

@rescript/linux-arm64

npm i https://pkg.pr.new/@rescript/linux-arm64@8664

@rescript/linux-x64

npm i https://pkg.pr.new/@rescript/linux-x64@8664

@rescript/runtime

npm i https://pkg.pr.new/@rescript/runtime@8664

@rescript/win32-x64

npm i https://pkg.pr.new/@rescript/win32-x64@8664

commit: aeb8a38

@cknitt
cknitt merged commit fb35986 into rescript-lang:master Sep 22, 2026
53 of 54 checks passed
@cknitt
cknitt deleted the codex/avoid-full-history-publish branch September 22, 2026 11:26
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.

2 participants