3 Commits

Author	SHA1	Message	Date
Andrew Johnson	79bb9e000b	GH-Actions: Tweaks	2020-12-17 20:39:08 -06:00
Andrew Johnson	c404eb3f83	GH-Actions: Add short names for each job	2020-12-17 20:38:06 -06:00
Ralph Lange	d25c9a74ad	ci: travis-ci -> github actions	2020-12-06 15:12:28 +01:00