| 
								
								
									 Cheng XU | 4080a6f5b0 | fix github action | 2021-02-04 21:52:25 +01:00 |  | 
				
					
						| 
								
								
									 Christoph Herzog | d9807329af | Re-enable valgrind on CI | 2021-02-04 20:49:17 +01:00 |  | 
				
					
						| 
								
								
									 Christoph Herzog | 96898df6d4 | ci: rustfmt/clippy are not needed on Windows | 2020-05-27 09:53:46 +02:00 |  | 
				
					
						| 
								
								
									 Cheng XU | c8681ba45a | ci: test win | 2020-05-27 09:53:46 +02:00 |  | 
				
					
						| 
								
								
									 Christoph Herzog | 13a6ae5fee | Improve CI job setup | 2020-05-25 16:45:53 +02:00 |  | 
				
					
						| 
								
								
									 Cheng XU | 2e0ee4da4d | fix CI | 2020-04-13 11:54:10 +02:00 |  | 
				
					
						| 
								
								
									 Christoph Herzog | 65cf630c15 | docs: Add Github Actions badge, remove old ones | 2019-10-02 19:35:49 +02:00 |  | 
				
					
						| 
								
								
									 Christoph Herzog | b028bd6b10 | ci: Switch to Github Actions | 2019-10-02 19:16:19 +02:00 |  |