Create GitHub Release after GitLab tag mirror

RELEASE: 5.2.5 #106

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pages	9m 28s
pages	9m 28s
preparations	10s
preparations	10s
jar	3m 15s
jar	3m 15s
ubuntu-01	4m 42s
ubuntu-01	4m 42s
mac-01	3m 19s
mac-01	3m 19s
ubuntu-02	5m 5s
ubuntu-02	5m 5s
windows-01	6m 48s
windows-01	6m 48s
windows-02	5m 38s
windows-02	6m 59s
release	52s
release	1m 23s
news	0s
news	8s
	1h 20m 34s