Skip to content

Periodic citation update#22

Merged
andrewsu merged 1 commit into
mainfrom
citation-update
Jan 26, 2026
Merged

Periodic citation update#22
andrewsu merged 1 commit into
mainfrom
citation-update

Conversation

@github-actions

Copy link
Copy Markdown

Automated changes by create-pull-request GitHub action

@github-actions github-actions Bot force-pushed the citation-update branch 2 times, most recently from 6eaaff9 to 9da628f Compare August 25, 2025 00:23
@github-actions github-actions Bot force-pushed the citation-update branch 2 times, most recently from b1facc3 to aad2323 Compare September 8, 2025 00:20
@github-actions github-actions Bot force-pushed the citation-update branch 2 times, most recently from f67f570 to c6506d8 Compare November 10, 2025 00:18
@github-actions github-actions Bot force-pushed the citation-update branch 2 times, most recently from 7148e6a to 9837e98 Compare December 8, 2025 00:18
@github-actions github-actions Bot force-pushed the citation-update branch 2 times, most recently from b15aa1d to e7b4cf6 Compare January 12, 2026 00:22
@andrewsu andrewsu merged commit 93e76f0 into main Jan 26, 2026
@andrewsu andrewsu deleted the citation-update branch January 26, 2026 06:49
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