Skip to content

chore(ci): update GitHub Actions - #27

Merged
tiankaima merged 1 commit into
masterfrom
agent/update-github-actions
Jul 27, 2026
Merged

chore(ci): update GitHub Actions#27
tiankaima merged 1 commit into
masterfrom
agent/update-github-actions

Conversation

@tiankaima

Copy link
Copy Markdown
Member

Summary

  • update and pin GitHub Actions to their latest stable releases
  • scope Pages write permissions to the deployment job

Verification

  • Ruff check
  • Ruff format check
  • Python test suite (37 tests)

@tiankaima
tiankaima merged commit 02ba08d into master Jul 27, 2026
1 check passed
@tiankaima
tiankaima deleted the agent/update-github-actions branch July 27, 2026 06:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant