7 Commits

Include renames

Author	SHA1	Message	Date
Peter Dimov	f47b28dad5	Fix cd	2020-11-20 01:19:10 +02:00
Peter Dimov	9ea36760f6	Revert "Split into lines; fix cd" ... This reverts commit 8da42266d5.	2020-11-20 01:18:48 +02:00
Peter Dimov	8da42266d5	Split into lines; fix cd	2020-11-20 01:17:02 +02:00
Peter Dimov	43dd83b860	Compute BOOST_BRANCH	2020-11-20 01:14:31 +02:00
Peter Dimov	694c3cd643	GITHUB_BASE_REF is only for PRs	2020-11-20 01:09:38 +02:00
Peter Dimov	f18e24a6fc	Fix typo	2020-11-20 00:59:55 +02:00
Peter Dimov	8f9deb1a8b	Add .github/workflows	2020-11-20 00:58:15 +02:00