17451k / eventb-to-txt / 51

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
51	master	Save output with LF line endings	push	15 Apr 2020 03:59PM UTC	17451k	travis-ci	pending completion   set done
50	v1.3.2	Save output with LF line endings	push	15 Apr 2020 03:58PM UTC	17451k	travis-ci	pending completion   set done
49	master	Add Deploy GitHub action	push	19 Mar 2020 01:00PM UTC	web-flow	travis-ci	pending completion   set done
48	master	Add GitHub Actions status to README	push	13 Mar 2020 08:43AM UTC	web-flow	travis-ci	pending completion   set done
47	master	Rename GitHub workflow	push	13 Mar 2020 08:41AM UTC	web-flow	travis-ci	pending completion   set done
46	master	Fix test_main_invalid_out() on Windows	push	13 Mar 2020 08:33AM UTC	17451k	travis-ci	pending completion   set done
45	master	Fix test_main_invalid_out() on Windows	push	13 Mar 2020 08:30AM UTC	17451k	travis-ci	pending completion   set done
44	master	Fix compatibility with Windows	push	13 Mar 2020 07:55AM UTC	17451k	travis-ci	pending completion   set done
43	master	Setup GitHub Actions	push	12 Mar 2020 02:15PM UTC	web-flow	travis-ci	pending completion   set done
42	master	Trim trailing whitespaces	push	12 Mar 2020 02:02PM UTC	17451k	travis-ci	pending completion   set done
41	master	Update cached build dependencies if possible	push	12 Mar 2020 01:59PM UTC	17451k	travis-ci	pending completion   set done
40	master	Cache pip in Travis	push	12 Mar 2020 01:55PM UTC	17451k	travis-ci	pending completion   set done
39	v1.3.1	Trim trailing whitespaces	push	11 Mar 2020 11:44AM UTC	17451k	travis-ci	pending completion   set done
38	master	Trim trailing whitespaces	push	11 Mar 2020 11:43AM UTC	17451k	travis-ci	pending completion   set done
37	v1.3	Update version to 1.3	push	11 Mar 2020 11:21AM UTC	17451k	travis-ci	pending completion   set done

• ← Previous
• 1
• 2
• 3
• Next →