Skip to content

Revert "GitHub actions: reintroducing testing on "push"" #1731

Revert "GitHub actions: reintroducing testing on "push""

Revert "GitHub actions: reintroducing testing on "push"" #1731