5 Commits

Author	SHA1	Message	Date
Simon Michael	863983f0ff	ci: update all to preserve executable permission when zipping	2022-07-26 22:49:47 +01:00
Simon Michael	7a8f2c1c8a	ci: bump all upload-artifact users to v3	2022-07-26 22:37:44 +01:00
Simon Michael	17f28c65b4	ci: windows: ghc 9.2.3	2022-06-09 11:35:45 +01:00
Simon Michael	37fc8b5ff9	ci: windows: ghc 9.0 for now; and strip again (#1869)	2022-06-08 15:30:45 +01:00
Simon Michael	f8e9a13f26	;ci: consistent workflow and file names	2022-06-06 11:58:34 +01:00