ci: fix HTTP PUT request to the GitHub REST API
#3438
| Job | Run time |
|---|---|
| 5s | |
| 5s |
PUT request to the GitHub REST API
#3438
| Job | Run time |
|---|---|
| 5s | |
| 5s |