#245

Builds	Branch	Commit	Type	Ran	Committer	Coverage
#245	PR-main	<a href="https://github.com/Kevin-Lee/just-fp/commit/cf0930fea ">Merge </a><a class="double-link" href="https://github.com/Kevin-Lee/just-fp/commit/a88aa5d32 ">a88aa5d32</a><a href="https...	push	09 Aug 2020 04:09AM UTC	web-flow	pending completion set done
#244	fix-build-info-in-ci	Fix: Build info in CI	push	09 Aug 2020 04:06AM UTC	Kevin-Lee	pending completion set done
#243	main	Merge pull request #173 from Kevin-Lee/add-build-number-to-ci-config Added: Build numbers in CI	push	09 Aug 2020 03:54AM UTC	web-flow	pending completion set done
#242	add-build-number-to-ci-config	Added: Build numbers in CI	push	09 Aug 2020 03:52AM UTC	Kevin-Lee	pending completion set done
#241	PR-main	<a href="https://github.com/Kevin-Lee/just-fp/commit/5ebebe0f4 ">Merge </a><a class="double-link" href="https://github.com/Kevin-Lee/just-fp/commit/676eca77d ">676eca77d</a><a href="https...	push	09 Aug 2020 03:52AM UTC	web-flow	pending completion set done
#240	PR-main	<a href="https://github.com/Kevin-Lee/just-fp/commit/58fcaf7d0 ">Merge </a><a class="double-link" href="https://github.com/Kevin-Lee/just-fp/commit/dcfe11461 ">dcfe11461</a><a href="https...	push	09 Aug 2020 03:44AM UTC	web-flow	pending completion set done
#239	add-build-number-to-ci-config	Added: Build numbers in CI	push	09 Aug 2020 03:35AM UTC	Kevin-Lee	pending completion set done
#238	change-build-status-badge-in-doc	Changed: THe build all status badge in doc	push	09 Aug 2020 03:30AM UTC	Kevin-Lee	pending completion set done
#237	main	Merge pull request #172 from Kevin-Lee/small-fix-in-build-config Set a proper CI_BRANCH for push build	push	08 Aug 2020 12:17PM UTC	web-flow	pending completion set done
#236	PR-main	<a href="https://github.com/Kevin-Lee/just-fp/commit/7b5156f7c ">Merge </a><a class="double-link" href="https://github.com/Kevin-Lee/just-fp/commit/76608aa53 ">76608aa53</a><a href="https...	push	08 Aug 2020 12:03PM UTC	web-flow	pending completion set done
#235	small-fix-in-build-config	Set a proper CI_BRANCH for push build	push	08 Aug 2020 12:02PM UTC	Kevin-Lee	pending completion set done
#234	refs/heads/main	Merge pull request #171 from Kevin-Lee/task/170/build-for-dotty Close #170 - Build for Dotty	push	08 Aug 2020 12:00PM UTC	web-flow	pending completion set done
#233	refs/heads/task/170/build-for-dotty	Close #170 - Build for Dotty	push	08 Aug 2020 11:56AM UTC	Kevin-Lee	pending completion set done
#232	PR-main	<a href="https://github.com/Kevin-Lee/just-fp/commit/55f066cae ">Merge </a><a class="double-link" href="https://github.com/Kevin-Lee/just-fp/commit/d02bd2714 ">d02bd2714</a><a href="https...	push	08 Aug 2020 11:56AM UTC	web-flow	pending completion set done
#231	main	<a href="https://github.com/Kevin-Lee/just-fp/commit/8db023826 ">Merge </a><a class="double-link" href="https://github.com/Kevin-Lee/just-fp/commit/7ffe43225 ">7ffe43225</a><a href="https...	push	08 Aug 2020 11:52AM UTC	web-flow	pending completion set done

← Previous
1
2
3
4
5
6
7
8
9
10
11
…
21
22
Next →