ci: Use paths
for runs on push
(#3735)
#712
Job | Run time |
---|---|
1m 52s | |
1m 52s |
paths
for runs on push
(#3735)
#712
Job | Run time |
---|---|
1m 52s | |
1m 52s |