ci: change the name of the coverage workflow #5833
Job | Run time |
---|---|
23s | |
15m 56s | |
4m 19s | |
10m 29s | |
4m 2s | |
3m 28s | |
4m 24s | |
4m 5s | |
4m 11s | |
3m 55s | |
55m 12s |
Job | Run time |
---|---|
23s | |
15m 56s | |
4m 19s | |
10m 29s | |
4m 2s | |
3m 28s | |
4m 24s | |
4m 5s | |
4m 11s | |
3m 55s | |
55m 12s |