4 Commits

Author	SHA1	Message	Date
Andrew Johnson	48a6d2f781	GH-Actions: Undo my workflow name change ... Changing it also modified the names of all previous builds.	2020-12-17 20:59:56 -06:00
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