Skip to content

chore: release main - #533

Merged
rongxin-liu merged 1 commit into
mainfrom
release-please--branches--main
Aug 7, 2026
Merged

chore: release main#533
rongxin-liu merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@github-actions

@github-actions github-actions Bot commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

web: 1.27.0

1.27.0 (2026-08-07)

Features

  • web: support fine-grained token sign-in with pre-filled creation URL (#532) (b73380f)

Bug Fixes

  • exempt forks from the empty-template size-0 guard (#536) (6be63f1)
cli: 1.27.0

1.27.0 (2026-08-07)

Features

  • cli: reuse/refresh gh auth instead of clobbering it on login (#537) (6fe861a)

Bug Fixes

  • cli: record a submission when no autograder is configured (#535) (f3dd96c)
  • exempt forks from the empty-template size-0 guard (#536) (6be63f1)

This PR was generated with Release Please. See documentation.

@rongxin-liu rongxin-liu self-assigned this Aug 7, 2026
@github-actions
github-actions Bot force-pushed the release-please--branches--main branch 2 times, most recently from fecc33c to 397bb86 Compare August 7, 2026 16:28
@github-actions
github-actions Bot force-pushed the release-please--branches--main branch from 397bb86 to c8adbed Compare August 7, 2026 18:14
@rongxin-liu
rongxin-liu merged commit 34636f1 into main Aug 7, 2026
16 of 18 checks passed
@rongxin-liu
rongxin-liu deleted the release-please--branches--main branch August 7, 2026 18:38
@github-actions

github-actions Bot commented Aug 7, 2026

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant