Add ownerNoPings option to prevent GitHub pings
#69
| Job | Run time |
|---|---|
| 7s | |
| 7s |
ownerNoPings option to prevent GitHub pings
#69
| Job | Run time |
|---|---|
| 7s | |
| 7s |