8 Commits

Author	SHA1	Message	Date
chriseth	066e995bbd	Only push to bytecode repository if there is something to push.	2017-07-03 18:25:37 +02:00
chriseth	6d8afab928	Use actual hash.	2017-05-29 15:53:15 +02:00
chriseth	0ca941942b	Use HEAD for report directory name	2017-05-24 14:36:46 +02:00
Alex Beregszaszi	e12b990038	Move COMMIT_DATE	2017-05-24 11:03:38 +01:00
chriseth	1ce9b91275	Make bytecode upload more robust and use date for directory name.	2017-05-19 21:08:13 +01:00
chriseth	4694eaec43	Run bytecode upload only if encrypted variables are available.	2017-04-18 12:32:38 +02:00
chriseth	5c3a80ab5b	Also generate optimized code.	2017-03-23 09:56:18 +01:00
chriseth	bbe3557a2f	Create bytecode for all tests and push to remote repo.	2017-03-23 09:56:18 +01:00