[CI] GitHub Release: publish --release instead of draft #78
Job | Run time |
---|---|
11s | |
16s | |
19s | |
22s | |
40s | |
38s | |
12s | |
13s | |
22s | |
19s | |
45s | |
47s | |
15s | |
19s | |
25s | |
22s | |
42s | |
48s | |
7m 55s |
Job | Run time |
---|---|
11s | |
16s | |
19s | |
22s | |
40s | |
38s | |
12s | |
13s | |
22s | |
19s | |
45s | |
47s | |
15s | |
19s | |
25s | |
22s | |
42s | |
48s | |
7m 55s |