alaviss 40898871a9 workflows/ci_docs: fix documentation deployment (#13819) ... * workflows/ci_docs: fix docs publishing It turns out that github.ref is the full ref name, so we have to be a bit more specific. See https://developer.github.com/v3/activity/events/types/#pushevent Also fixed a silly typo :) * workflows/ci_docs: run CI when there are changes to the workflow		2020-03-31 19:36:37 +02:00
..
ISSUE_TEMPLATE	no html comments in issue template [skip ci] (#12496)	2019-10-23 12:08:17 +02:00
workflows	workflows/ci_docs: fix documentation deployment (#13819)	2020-03-31 19:36:37 +02:00
FUNDING.yml	Nim now has Patreon account [ci skip]	2019-09-27 08:22:46 +02:00