6 Commits

Author	SHA1	Message	Date
freezy	f2e2153a13	merge two jobs into one (#1857)	2019-10-03 13:03:58 +02:00
Marcus Bointon	3563788a86	Fix job name	2019-10-02 13:38:00 +02:00
Marcus Bointon	d4daffdb55	Try to fix artifact path	2019-10-02 13:37:01 +02:00
Marcus Bointon	3651595a93	Make publishing docs depend on build succeeding	2019-10-02 13:36:05 +02:00
Marcus Bointon	4b93ad523b	Only build docs on push to master	2019-10-02 11:20:04 +02:00
freezy	c1fbe8fe50	[Fixes #1847] Building docs with GitHub Actions (#1855) ... * Try building docs with GitHub Actions * fix GH_PAT secret	2019-10-02 11:09:22 +02:00