Shohei Ueda 021efbc871 add: filter to prevent CI when branch are deleted (#9)		2019-08-15 20:43:36 +09:00
..
push.yml	add: filter to prevent CI when branch are deleted (#9)	2019-08-15 20:43:36 +09:00