Skip to content

Meta: switch publish-biblio to trusted publishing#3706

Open
bakkot wants to merge 1 commit intomainfrom
bakkot-patch-1
Open

Meta: switch publish-biblio to trusted publishing#3706
bakkot wants to merge 1 commit intomainfrom
bakkot-patch-1

Commits

Commits on Oct 16, 2025