Fix workflow badge, better formatting defaults, and cleanup workflow … #22
| Job | Run time |
|---|---|
| 47s | |
| 28s | |
| 33s | |
| 12s | |
| 32s | |
| 39s | |
| 32s | |
| 28s | |
| 1m 50s | |
| 2m 31s | |
| 2m 38s | |
| 2m 14s | |
| 8s | |
| 0s | |
| 0s | |
| 13m 32s |
| Job | Run time |
|---|---|
| 47s | |
| 28s | |
| 33s | |
| 12s | |
| 32s | |
| 39s | |
| 32s | |
| 28s | |
| 1m 50s | |
| 2m 31s | |
| 2m 38s | |
| 2m 14s | |
| 8s | |
| 0s | |
| 0s | |
| 13m 32s |