Resolve "Running GitHub Actions on contributions is cumbersome"#376
Closed
btschwertfeger wants to merge 1 commit into
Closed
Resolve "Running GitHub Actions on contributions is cumbersome"#376btschwertfeger wants to merge 1 commit into
btschwertfeger wants to merge 1 commit into