K. Lange c0fe173e49 github: add manual build; run for all pushes?		2020-12-08 22:00:38 +09:00
..
build.yml	github: add manual build; run for all pushes?	2020-12-08 22:00:38 +09:00