GitHub Actions: Trigger Pint workflow with paths filter (#3)
#10
| Job | Run time |
|---|---|
| 14s | |
| 54s | |
| 9s | |
| 1m 17s |
Pint workflow with paths filter (#3)
#10
| Job | Run time |
|---|---|
| 14s | |
| 54s | |
| 9s | |
| 1m 17s |