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 
							
						 
					 
					
						
						
						
						
							
						
						
							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 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							07e84fde42 
							
						 
					 
					
						
						
							
							ci: doc improvements  
						
						
						
					 
					
						2022-01-05 09:11:01 -10:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							9888bf043c 
							
						 
					 
					
						
						
							
							ci: mac, windows: don't short circuit, update docs  
						
						
						
					 
					
						2022-01-05 08:56:17 -10:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							16124eba14 
							
						 
					 
					
						
						
							
							dev: move commitlint to tools, keeping bin/ for user tools  
						
						
						
					 
					
						2021-12-10 16:52:19 -10:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							0c6575ee8a 
							
						 
					 
					
						
						
							
							ci: more consistent workflow names  
						
						
						
					 
					
						2021-12-10 10:40:40 -10:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							e9594a93d4 
							
						 
					 
					
						
						
							
							ci: linux-x64: drop "static" from artifact/binary names  
						
						
						
					 
					
						2021-12-09 16:00:59 -10:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							91780ceb9a 
							
						 
					 
					
						
						
							
							ci: linux-x64: try ghc 8.10.4 -> 9.0.1  
						
						
						
					 
					
						2021-12-09 15:58:47 -10:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							9e24cca793 
							
						 
					 
					
						
						
							
							ci: rename linux workflows, branches  
						
						... 
						
						
						
						workflow linux-static-x64.yml  is now linux-x64.yml
and its branch ci-linux-static is now ci-linux-x64
workflow linux-static-arm32v7.yml    is now linux-arm32v7.yml
and its branch ci-linux-static-arm32 is now ci-linux-arm32v7 
						
					 
					
						2021-12-09 15:38:26 -10:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							6c852a8252 
							
						 
					 
					
						
						
							
							;ci: linux-static-x64: do a full clone to fix --version output  
						
						
						
					 
					
						2021-12-02 00:39:11 -10:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							8c25581dd5 
							
						 
					 
					
						
						
							
							ci: linux: rename to pull, don't run on push  
						
						
						
					 
					
						2021-12-01 21:47:14 -10:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							f0f830e06c 
							
						 
					 
					
						
						
							
							ci: linux: move docs to readme  
						
						
						
					 
					
						2021-12-01 21:17:35 -10:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							a3c71d2fad 
							
						 
					 
					
						
						
							
							ci: mac, windows: build on any push to these branches  
						
						
						
					 
					
						2021-12-01 21:10:44 -10:00