Skip to content

set GITHUB_TOKEN for release#14

Merged
dpo merged 1 commit intomainfrom
fix-release-workflow
Nov 12, 2023
Merged

set GITHUB_TOKEN for release#14
dpo merged 1 commit intomainfrom
fix-release-workflow

Conversation

@dpo
Copy link
Copy Markdown
Owner

@dpo dpo commented Nov 12, 2023

No description provided.

@github-actions
Copy link
Copy Markdown

Chktex output

@dpo dpo force-pushed the fix-release-workflow branch from fab07eb to bd85ad0 Compare November 12, 2023 17:55
@github-actions
Copy link
Copy Markdown

Chktex output

@github-actions
Copy link
Copy Markdown

Status:
Success--Here-is-the-PDF

@github-actions
Copy link
Copy Markdown

Status:
Success--Here-is-the-Diff-PDF

@dpo dpo merged commit 507a9c5 into main Nov 12, 2023
@dpo dpo deleted the fix-release-workflow branch November 12, 2023 18:13
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