Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							659531fabc 
							
						 
					 
					
						
						
							
							;ci: linux: dummy change to force CI  
						
						
						
					 
					
						2020-03-17 17:24:33 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							99dc37d0ab 
							
						 
					 
					
						
						
							
							;ci: reduced scheduled runs to weekly; build with all ghcs on linux  
						
						
						
					 
					
						2020-03-17 17:17:41 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							a259992f93 
							
						 
					 
					
						
						
							
							;ci: note caching/scheduled issue  
						
						
						
					 
					
						2020-03-17 09:55:29 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							1c90132870 
							
						 
					 
					
						
						
							
							ci: windows: avoid GHC 8.8.3, having trouble with Decimal  
						
						
						
					 
					
						2020-03-16 18:47:37 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							0bc157caaa 
							
						 
					 
					
						
						
							
							ci: stop running nightly CIs on each push  
						
						... 
						
						
						
						Pushing to master now only triggers the quick "push" workflow.
The nightlies run nightly or on push to a "ci-PLATFORM" branch.
(And the linux nightly workflow is also used for pull requests, for now.)
I might split these up a bit more, but as yet there's no way of
sharing common code between workflows. 
						
					 
					
						2020-03-16 16:30:14 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							33df4dbccb 
							
						 
					 
					
						
						
							
							;ci: set PATH before running shelltest  
						
						... 
						
						
						
						Not sure why this is failing only now.. 
						
					 
					
						2020-03-16 10:34:36 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							dcd557d5cb 
							
						 
					 
					
						
						
							
							;ci: linux: try enabling scheduled nightly again  
						
						
						
					 
					
						2020-03-16 09:57:36 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							1b93406749 
							
						 
					 
					
						
						
							
							ci: disable failing windows command  
						
						
						
					 
					
						2020-03-16 09:03:18 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							5139e2a63e 
							
						 
					 
					
						
						
							
							;ci: github: fix trigger paths  
						
						
						
					 
					
						2020-03-12 08:15:32 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							e0cbcd3e2e 
							
						 
					 
					
						
						
							
							;ci: dummy change to test times following an all green push  
						
						
						
					 
					
						2020-03-07 15:15:09 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							be25c28822 
							
						 
					 
					
						
						
							
							ci: --pedantic is too much for now  
						
						
						
					 
					
						2020-03-07 14:53:12 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							08cfcc4f2b 
							
						 
					 
					
						
						
							
							;ci: use --pedantic on windows too  
						
						
						
					 
					
						2020-03-07 14:45:54 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							5639b47d85 
							
						 
					 
					
						
						
							
							;ci: use --pedantic for all; fix a warning with unit test suites  
						
						
						
					 
					
						2020-03-07 14:43:50 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							7e1bceff35 
							
						 
					 
					
						
						
							
							;ci: linux: rebuild code faster for haddock (it always rebuilds)  
						
						
						
					 
					
						2020-03-07 14:39:43 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							1f03c74b0d 
							
						 
					 
					
						
						
							
							;ci: files cleanup  
						
						
						
					 
					
						2020-03-07 14:36:27 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							36bc5b899b 
							
						 
					 
					
						
						
							
							;ci: cleanups; update quick CI like the others  
						
						
						
					 
					
						2020-03-07 14:33:05 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							dd7d144e82 
							
						 
					 
					
						
						
							
							;ci: linux, mac: also trigger when func tests change  
						
						
						
					 
					
						2020-03-07 14:02:21 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							e725b6bb47 
							
						 
					 
					
						
						
							
							;ci: mac: smart caching like the others; add func tests  
						
						
						
					 
					
						2020-03-07 13:39:53 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							191b9435f9 
							
						 
					 
					
						
						
							
							;ci: linux: group shelltestrunner steps  
						
						
						
					 
					
						2020-03-07 13:39:38 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							0cdbd3049b 
							
						 
					 
					
						
						
							
							;ci: linux: reuse old caches once more to save rebuilding  
						
						
						
					 
					
						2020-03-07 13:34:23 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							4526938d39 
							
						 
					 
					
						
						
							
							;ci: github: linux: don't break if dirs are missing  
						
						
						
					 
					
						2020-03-07 13:30:56 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							7598173765 
							
						 
					 
					
						
						
							
							;ci: github: linux: check out first, for smart caching  
						
						
						
					 
					
						2020-03-07 13:28:44 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							b69d5b6799 
							
						 
					 
					
						
						
							
							;ci: github: linux: separate haddock, make it a bit faster/quieter  
						
						
						
					 
					
						2020-03-07 13:27:23 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							8863ac5fdf 
							
						 
					 
					
						
						
							
							;ci: github: linux: use smarter caching as in windows workflow  
						
						
						
					 
					
						2020-03-07 13:26:48 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							e2402c46de 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak  
						
						
						
					 
					
						2020-03-07 04:16:26 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							67d7aae7dc 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 04:00:40 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							bcb9c05594 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 03:51:38 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							7db7e69a1e 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 03:40:48 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							5b2238696a 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 03:35:19 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							1e343a86ae 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 03:29:51 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							74f408b06f 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 03:24:45 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							45c0577397 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 03:22:44 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							4abeae5eeb 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 03:14:54 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							5e96ae8224 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 03:09:30 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							db8bd22c6f 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 02:57:59 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							0d4158dfe0 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 02:50:26 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							d19ea62297 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 02:42:58 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							051fab84a2 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 02:23:54 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							7084f833e2 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 02:05:27 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							9e8fdcf241 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 01:51:53 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							fb6f76f12a 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 01:38:10 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							d1dbcbdaf0 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 01:36:50 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							ed3ba55f20 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 01:35:07 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							4ba119cb8f 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak caching  
						
						
						
					 
					
						2020-03-07 01:32:47 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							cdc7663abf 
							
						 
					 
					
						
						
							
							;ci: github: windows: caching is not quite right; experiment  
						
						
						
					 
					
						2020-03-07 01:14:05 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							dc2f60fe63 
							
						 
					 
					
						
						
							
							;ci: github: windows: tweak zip file upload  
						
						
						
					 
					
						2020-03-06 20:24:59 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							dab7c214c9 
							
						 
					 
					
						
						
							
							;ci: github: windows: generate zip file  
						
						
						
					 
					
						2020-03-06 20:06:20 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							2cfed3af24 
							
						 
					 
					
						
						
							
							;ci: github: react to the specific yml file  
						
						
						
					 
					
						2020-03-06 19:37:35 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							405ce9ea99 
							
						 
					 
					
						
						
							
							;ci: github: quick: actually, keep using the same cache as linux-nightly  
						
						
						
					 
					
						2020-03-06 19:34:43 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							0b96539051 
							
						 
					 
					
						
						
							
							;ci: github: comments  
						
						
						
					 
					
						2020-03-06 19:00:10 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							c2191c53c4 
							
						 
					 
					
						
						
							
							;ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 18:31:18 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							dc9deb8931 
							
						 
					 
					
						
						
							
							;ci: github: tweaks; quick tests for push, more tests for pull reqs  
						
						
						
					 
					
						2020-03-06 13:54:32 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							9501c89711 
							
						 
					 
					
						
						
							
							;ci: github: windows tweaks  
						
						
						
					 
					
						2020-03-06 11:41:27 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							73f2b87f94 
							
						 
					 
					
						
						
							
							;ci: github: windows tweaks  
						
						
						
					 
					
						2020-03-06 11:34:48 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							5d419f8607 
							
						 
					 
					
						
						
							
							;ci: github: windows tweaks  
						
						
						
					 
					
						2020-03-06 11:31:43 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							49b9913b8c 
							
						 
					 
					
						
						
							
							;ci: github: windows tweaks  
						
						
						
					 
					
						2020-03-06 11:24:26 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							5a7eeaa7b2 
							
						 
					 
					
						
						
							
							;ci: github: windows tweaks  
						
						
						
					 
					
						2020-03-06 11:21:52 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							3909b76a20 
							
						 
					 
					
						
						
							
							;ci: github: windows tweaks  
						
						
						
					 
					
						2020-03-06 11:16:13 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							1fb6fbe807 
							
						 
					 
					
						
						
							
							;ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 11:06:15 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							73634d09d5 
							
						 
					 
					
						
						
							
							;ci: github: rename old workflow to disable it  
						
						
						
					 
					
						2020-03-06 10:59:22 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							05fada7833 
							
						 
					 
					
						
						
							
							;ci: github: split into platform-specific workflows  
						
						... 
						
						
						
						Basic mac/windows ones, usually run nightly, and a more thorough linux
one, run for noteworthy push/pull requests.
And the usual round of tweaks. 
						
					 
					
						2020-03-06 10:55:54 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							539d1f676e 
							
						 
					 
					
						
						
							
							;ci: github: notes  
						
						
						
					 
					
						2020-03-06 10:03:46 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							9d4d1ab7e2 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 04:19:25 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							d259bd5a36 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 03:30:14 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							5acc873240 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 02:50:57 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							c0b8672ef5 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 02:48:16 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							dd944ccb68 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 02:45:43 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							8cc6608319 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 02:43:19 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							fefb8062ba 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 02:21:15 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							9b2f1d399c 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 01:58:18 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							6b217435c4 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 01:54:18 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							715b274bb0 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 01:44:53 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							b91fd10b2e 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 01:39:14 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							3ff5b336c0 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 01:37:55 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							9bf3e167da 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 01:36:22 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							c7977b6c6f 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 01:33:45 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							4e96639b81 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 01:27:13 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							23f8462d47 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 01:23:35 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							fe5cfe8ed2 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 01:22:29 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							71f3f8295a 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 01:05:18 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							bba0c0121d 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 00:58:41 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							d5b28c5a3d 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 00:56:06 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							e1cffdfe06 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 00:55:12 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							7457b2870a 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 00:52:51 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							8ec825d74c 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 00:51:34 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							d68f5cf136 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 00:33:35 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							146c1fe03e 
							
						 
					 
					
						
						
							
							ci: github: tweaks  
						
						
						
					 
					
						2020-03-06 00:32:12 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							fe0149ac93 
							
						 
					 
					
						
						
							
							ci: github: that worked, try all os's again  
						
						
						
					 
					
						2020-03-06 00:22:39 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							e02d711df1 
							
						 
					 
					
						
						
							
							ci: github: windows-latest on its own  
						
						
						
					 
					
						2020-03-06 00:11:30 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							b6bf0cc12b 
							
						 
					 
					
						
						
							
							ci: github: disable unused get-package action, link to action docs  
						
						
						
					 
					
						2020-03-06 00:10:34 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							4191190073 
							
						 
					 
					
						
						
							
							ci: github: fix ~/.stack caching  
						
						
						
					 
					
						2020-03-06 00:00:44 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							7b39151346 
							
						 
					 
					
						
						
							
							ci: github: drop windows for now, not recognised  
						
						
						
					 
					
						2020-03-05 19:57:41 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							28cedbfc88 
							
						 
					 
					
						
						
							
							ci: github: more tweaks  
						
						
						
					 
					
						2020-03-05 19:51:57 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							6ce2854543 
							
						 
					 
					
						
						
							
							ci: github: try another windows os name  
						
						
						
					 
					
						2020-03-05 19:13:11 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							4693212bcd 
							
						 
					 
					
						
						
							
							ci: github: try adding mac/windows, caching  
						
						
						
					 
					
						2020-03-05 19:02:59 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							d97ec1640b 
							
						 
					 
					
						
						
							
							ci: try github actions  
						
						
						
					 
					
						2020-03-05 18:28:04 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							a5ff9d6a63 
							
						 
					 
					
						
						
							
							;doc: update issue templates  
						
						... 
						
						
						
						[ci skip] 
						
					 
					
						2020-01-20 14:15:40 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							573a2a7860 
							
						 
					 
					
						
						
							
							;doc: update issue templates  
						
						... 
						
						
						
						[ci skip] 
						
					 
					
						2020-01-20 14:01:10 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							0f14c0f010 
							
						 
					 
					
						
						
							
							;doc: update issue templates  
						
						... 
						
						
						
						[ci skip] 
						
					 
					
						2020-01-20 13:55:36 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							da18680283 
							
						 
					 
					
						
						
							
							;doc: update issue templates  
						
						... 
						
						
						
						[ci skip] 
						
					 
					
						2020-01-20 13:51:28 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							74e9f4e3c2 
							
						 
					 
					
						
						
							
							;doc: update issue templates  
						
						... 
						
						
						
						[ci skip] 
						
					 
					
						2020-01-20 13:41:51 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							3e770f4078 
							
						 
					 
					
						
						
							
							;doc: update issue template, suggest checking manual  
						
						... 
						
						
						
						[ci skip] 
						
					 
					
						2020-01-20 13:27:27 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							5163a1e5e3 
							
						 
					 
					
						
						
							
							;github: issue templates: tweak support wording  
						
						... 
						
						
						
						[ci skip] 
						
					 
					
						2019-06-07 08:14:07 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							4df3eef87a 
							
						 
					 
					
						
						
							
							;github: issue templates: content is plain text  
						
						... 
						
						
						
						[ci skip] 
						
					 
					
						2019-06-07 08:08:56 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							1017aafaed 
							
						 
					 
					
						
						
							
							;github: issue templates: tweaks  
						
						... 
						
						
						
						[ci skip] 
						
					 
					
						2019-06-07 08:03:06 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							d700670729 
							
						 
					 
					
						
						
							
							;github: issue templates: fix description  
						
						... 
						
						
						
						[ci skip] 
						
					 
					
						2019-06-07 07:54:45 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							46ab00e2cd 
							
						 
					 
					
						
						
							
							;github: issue templates: try quoting # to fix description  
						
						... 
						
						
						
						[ci skip] 
						
					 
					
						2019-06-07 07:53:37 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							094b05898f 
							
						 
					 
					
						
						
							
							;github: separate bug/wish issue templates  
						
						... 
						
						
						
						That went pretty well. More tweaks, add a third for redirecting
support requests.
[ci skip] 
						
					 
					
						2019-06-07 07:49:28 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							9878e30d3e 
							
						 
					 
					
						
						
							
							;github: separate bug/wish issue templates  
						
						... 
						
						
						
						First attempt.
[ci skip] 
						
					 
					
						2019-06-07 07:23:05 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
							
							
						
						
						
							
						
						
							e97a9c4bfa 
							
						 
					 
					
						
						
							
							Create FUNDING.yml  
						
						
						
					 
					
						2019-05-29 22:43:52 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							68999e61fb 
							
						 
					 
					
						
						
							
							;fix pull request template link; comment the help text  
						
						... 
						
						
						
						[ci skip] 
						
					 
					
						2019-03-07 11:36:15 -08:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							1e7760a2c7 
							
						 
					 
					
						
						
							
							doc: simplify pull request template, link to more detailed wiki doc  
						
						... 
						
						
						
						[ci skip] 
						
					 
					
						2018-10-29 16:07:24 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							7edca3eb04 
							
						 
					 
					
						
						
							
							doc: pull request guidelines tweak  
						
						... 
						
						
						
						[ci skip] 
						
					 
					
						2018-10-29 12:16:39 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							efb332cc23 
							
						 
					 
					
						
						
							
							doc: pull request guidelines  
						
						... 
						
						
						
						[ci skip] 
						
					 
					
						2018-10-29 11:11:07 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							82446204f9 
							
						 
					 
					
						
						
							
							Update issue templates  
						
						
						
					 
					
						2018-10-29 08:43:28 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							6ffbaf29ff 
							
						 
					 
					
						
						
							
							Update issue templates  
						
						
						
					 
					
						2018-10-29 08:35:29 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							7198c45fbe 
							
						 
					 
					
						
						
							
							Update issue templates  
						
						
						
					 
					
						2018-10-29 08:29:42 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							c93579c124 
							
						 
					 
					
						
						
							
							Update issue templates  
						
						
						
					 
					
						2018-10-29 08:27:50 -07:00 
						 
				 
			
				
					
						
							
							
								Simon Michael 
							
						 
					 
					
						
						
						
						
							
						
						
							620e34aaed 
							
						 
					 
					
						
						
							
							Update issue templates  
						
						... 
						
						
						
						First issue template, guiding user support questions elsewhere. 
						
					 
					
						2018-10-29 08:24:05 -07:00