4 commits

Author	SHA1	Message	Date
Pavan Kumar Sunkara	510f4cc055	Don't run actions on some events ... push(master) is not run because they would be run on staging anyway. pull_request(staging, trying) are not run because pull requests shouldn't be made to them	2020-04-10 19:50:12 +02:00
Pavan Kumar Sunkara	9388a099ef	Improvements to github actions	2020-04-10 17:19:26 +02:00
Pavan Kumar Sunkara	b8e1a1aa77	Fix benchmarks to not use fork anymore	2020-03-18 13:17:31 +01:00
Pavan Kumar Sunkara	eaae1202cb	Basic github action for benchmarking	2020-03-05 09:21:39 +01:00