Skip to content

chore: validate tessl publish source#12

Merged
mmanciop merged 1 commit into
dash0hq:mainfrom
robcresswell:chore/validate-tessl-publish-source
May 20, 2026
Merged

chore: validate tessl publish source#12
mmanciop merged 1 commit into
dash0hq:mainfrom
robcresswell:chore/validate-tessl-publish-source

Conversation

@robcresswell

Copy link
Copy Markdown
Contributor

The tessl CLI (invoked here with tessl tile publish) supports using OIDC tokens to validate that the plugin was published from GitHub and subsequently to link it any other previously indexed skills against the same repo.

While this was documented in the older tessl/publish action, it was not mentioned in the tessl/setup-tessl action (rectified in tesslio/setup-tessl#10). This patch allows the release workflow to access an OIDC token by updating its permissions.

The `tessl` CLI (invoked here with `tessl tile publish`) supports using
OIDC tokens to validate that the plugin was published from GitHub and
subsequently to link it any other previously indexed skills against the
same repo.

While this was documented in the older `tessl/publish` action, it was
not mentioned in the `tessl/setup-tessl` action (rectified in
tesslio/setup-tessl#10). This patch allows the
`release` workflow to access an OIDC token by updating its permissions.
gh release create "${TAG}" \
--title "${TAG}" \
--generate-notes No newline at end of file
--generate-notes

@robcresswell robcresswell May 20, 2026

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It looks like my formatter automatically did this; let me know if you want it reverted.

git push origin HEAD
fi

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It looks like my formatter automatically did this; let me know if you want it reverted.

@mmanciop
mmanciop merged commit b1a51cc into dash0hq:main May 20, 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.

2 participants