GitHub Actions: Trigger Pint workflow with paths filter
#8
| Job | Run time |
|---|---|
| 21s | |
| 10s | |
| 52s | |
| 1m 23s |
Pint workflow with paths filter
#8
| Job | Run time |
|---|---|
| 21s | |
| 10s | |
| 52s | |
| 1m 23s |