Skip to content

Typecheck and rehearse the release scripts - #10

Merged
donnes merged 1 commit into
mainfrom
release-scripts
Oct 22, 2026
Merged

Typecheck and rehearse the release scripts#10
donnes merged 1 commit into
mainfrom
release-scripts

Typecheck the release scripts and release from tags

71f1469
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar