| 
							
							
								 Simon Michael | b5eb3f494b | ci: test-linux-x64: preserve executable perms on zipped binaries | 2022-07-26 11:00:02 +01:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 0e728a7466 | ;doc: github issue templates: fix support link (#1895) | 2022-07-25 23:13:04 +01:00 |  | 
			
				
					| 
							
							
								 Simon Michael | fb56d62011 | ci: linux-x64-static: note issue | 2022-07-11 10:56:35 +01:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 178ff7ace4 | ci: linux-x64-static: ghc 9.2.2 -> 9.2.3 | 2022-07-11 10:55:48 +01:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 62e922cd4d | ci: linux-x64-static: cache cabal packages | 2022-07-11 10:55:20 +01:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 5ebbfea067 | ci: linux-x64-static: try building separately to avoid segfault | 2022-07-11 10:55:17 +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 |  | 
			
				
					| 
							
							
								 Simon Michael | 7bf668b552 | ci: test: don't run on push to binaries | 2022-06-06 11:49:08 +01:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 7d3b90f869 | ci: windows: don't strip, seems to break it | 2022-06-06 11:47:50 +01:00 |  | 
			
				
					| 
							
							
								 Simon Michael | cfde386dba | ;ci: linux-x64-static: consistent executable names | 2022-06-05 10:58:23 +01:00 |  | 
			
				
					| 
							
							
								 Simon Michael | d9b7c396c8 | ci: linux-x64-static: try ghc 9.0 | 2022-06-05 10:58:11 +01:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 61d7e1f7c4 | ci: linux-x64-static: try ghc 9.2.3 Try to work around https://gitlab.haskell.org/ghc/ghc/-/issues/20266 | 2022-06-05 10:58:11 +01:00 |  | 
			
				
					| 
							
							
								 Simon Michael | ed98619e05 | ci: run all main workflows on push to "binaries" | 2022-06-05 00:03:15 +01:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 05d5b7860b | ;ci: more renames | 2022-05-21 23:59:20 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 05a6940728 | ;ci: strip binaries on mac, and try on windows too | 2022-05-21 23:46:57 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 15728bff05 | ;ci: mac, windows: consistent naming, add -x64 | 2022-05-21 23:41:56 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | f6db2ac855 | ci: main: also upload binaries as an artifact | 2022-05-21 23:37:59 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 96c2ed7a2d | ;ci: linux-x64: bump to ghc 9.2.2 | 2022-05-21 23:21:20 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 211680da86 | ;ci: main: doc | 2022-05-08 20:43:28 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 07502bd41c | ci: main: build haddocks --fast, in case that works | 2022-04-25 01:48:14 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 75f87439e2 | ci: replace push, pull workflows with main | 2022-04-25 00:33:07 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | c2bc7dfb83 | ci: push: also run for simon2 branch | 2022-04-24 23:43:47 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | db28b6b9ee | ;ci: pull: another fix like push | 2022-04-21 21:32:44 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | b03bbc9184 | ci: push, pull: debug logging | 2022-04-20 23:04:30 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 0023982560 | ci: push, pull: debug logging | 2022-04-20 23:00:57 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 64ae4c25fa | ci: push, pull: debug logging | 2022-04-20 22:58:18 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 5e46044eb6 | ci: push, pull: debug logging | 2022-04-20 22:51:32 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | ef5aafd11c | ci: push, pull: debug logging | 2022-04-20 22:37:45 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 54c758bbdb | ci: push, pull: debug logging | 2022-04-20 22:33:43 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | aafb6d21cf | ci: push, pull: debug logging | 2022-04-20 22:25:23 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 5261ecabe0 | ci: push, pull: debug logging for commit range | 2022-04-20 22:21:11 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | ae6295da17 | ;ci: pull: cleanup | 2022-04-17 07:45:25 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 078988a4b0 | ;ci: mac: ghc 9.0 -> 9.2 | 2022-04-17 07:40:03 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | d84f2b4eb8 | ci: push: edit | 2022-04-05 09:38:49 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | f42998bab7 | ci: push: really run for all file changes so that they get the success status and can then be pushed to master. | 2022-04-05 09:24:03 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | c69f319b3f | ci: push: run for all file changes, including small doc fixups so that they get the success status and can then be pushed to master. | 2022-04-04 14:31:44 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 1c3dd50e5b | ci: sync push/pull, check both with GHC 8.6 to satisfy master | 2022-03-26 09:26:53 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 8ad7dc41b0 | ci: push: cleanup, don't run a second time in master | 2022-03-26 09:02:46 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 59c70d9369 | ci: push: cleanup | 2022-03-26 08:51:23 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | e61216ac24 | ci: push: also run on pushes to "simon" branch | 2022-03-26 08:37:31 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 7a781b04e5 | fix: ci: restore stack.yaml as a regular file to fix CI Github actions `hashFiles()` may not like symlinks, see comment in
push.yml. | 2022-03-25 20:59:28 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | fb834777a6 | ;fix: doc: update help/help-feedback links (#1807) | 2022-01-15 08:53:48 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 1faef08c30 | ;ci: linux: drop unused release steps | 2022-01-06 08:23:59 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | ab098fae99 | ci: win: fix shell mismatch | 2022-01-06 08:23:57 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | c0ac770bd7 | ci: win: fix skipping of all steps, part 2 | 2022-01-06 08:23:57 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 29fb63384e | ci: win, mac: fix skipping of all steps | 2022-01-06 08:23:57 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 56e015c409 | ci: push, pull: clarify, robustify? commitlint step | 2022-01-06 06:33:29 -10:00 |  | 
			
				
					| 
							
							
								 Simon Michael | 0a8835ada2 | ci: win, mac: don't commitlint, let push/pull cover that | 2022-01-06 06:33:25 -10:00 |  |