Merge: Optimize GitHub Actions to prevent duplicate runs on PRs #145
| Job | Run time |
|---|---|
| 31s | |
| 20s | |
| 53s | |
| 19s | |
| 20s | |
| 53s | |
| 17s | |
| 59s | |
| 54s | |
| 46s | |
| 20s | |
| 29s | |
| 1m 5s | |
| 33s | |
| 54s | |
| 33s | |
| 14s | |
| 10m 20s |
| Job | Run time |
|---|---|
| 31s | |
| 20s | |
| 53s | |
| 19s | |
| 20s | |
| 53s | |
| 17s | |
| 59s | |
| 54s | |
| 46s | |
| 20s | |
| 29s | |
| 1m 5s | |
| 33s | |
| 54s | |
| 33s | |
| 14s | |
| 10m 20s |