skip get_hint if no hints are defined
#1224
Run time
Learn about OS # on GitHub Actions| Job | Run time |
|---|---|
| 47s | |
| 26s | |
| 39s | |
| 1m 24s | |
| 55s | |
| 39s | |
| 40s | |
| 40s | |
| 43s | |
| 29s | |
| 7m 22s |
get_hint if no hints are defined
#1224
| Job | Run time |
|---|---|
| 47s | |
| 26s | |
| 39s | |
| 1m 24s | |
| 55s | |
| 39s | |
| 40s | |
| 40s | |
| 43s | |
| 29s | |
| 7m 22s |