Skip to content

Make the pre-commit script pre-push instead#88313

Merged
bors merged 1 commit into
rust-lang:masterfrom
jyn514:pre-push
Feb 7, 2022
Merged

Make the pre-commit script pre-push instead#88313
bors merged 1 commit into
rust-lang:masterfrom
jyn514:pre-push

Make the pre-commit script pre-push instead

9d664b2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs