Try to workaround empty GITHUB_REF bug of GitHub runners
#279
| Job | Run time |
|---|---|
| 14s | |
| 14s |
GITHUB_REF bug of GitHub runners
#279
| Job | Run time |
|---|---|
| 14s | |
| 14s |