#216

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#216		Merge pull request #3 from earldouglas/build Rename workflow file to match workflow name	push	29 Jun 2021 12:25PM UTC	web-flow		pending completion set done
#215		Merge pull request #3 from earldouglas/build Rename workflow file to match workflow name	push	29 Jun 2021 12:25PM UTC	web-flow		pending completion set done
#214		Rename workflow file to match workflow name This renames the `build` workflow file from scala.yml to build.yml to match.	push	29 Jun 2021 12:12PM UTC	earldouglas		pending completion set done
#214		Rename workflow file to match workflow name This renames the `build` workflow file from scala.yml to build.yml to match.	push	29 Jun 2021 12:12PM UTC	earldouglas		pending completion set done
#213		Rename workflow file to match workflow name This renames the `build` workflow file from scala.yml to build.yml to match.	push	29 Jun 2021 12:12PM UTC	earldouglas		pending completion set done
#212		Merge pull request #2 from earldouglas/github-actions	push	01 Jan 2020 11:25PM UTC	web-flow		pending completion set done
#211		Merge pull request #2 from earldouglas/github-actions	push	01 Jan 2020 11:25PM UTC	web-flow		pending completion set done
#210		Merge pull request #2 from earldouglas/github-actions	push	01 Jan 2020 11:25PM UTC	web-flow		pending completion set done
#209		Migrate CI to GitHub Actions	push	01 Jan 2020 11:23PM UTC	earldouglas		pending completion set done
#208		Migrate CI to GitHub Actions	push	01 Jan 2020 11:23PM UTC	earldouglas		pending completion set done
#207		Migrate CI to GitHub Actions	push	01 Jan 2020 11:23PM UTC	earldouglas		pending completion set done
20	master	Add a right-biased disjunction type	push	26 Jul 2018 07:13PM UTC	earldouglas	travis-ci	pending completion set done
21	1.5.0	Add a right-biased disjunction type	push	26 Jul 2018 07:12PM UTC	earldouglas	travis-ci	pending completion set done
19	1.5.0	Add a right-biased disjunction type	push	26 Jul 2018 07:11PM UTC	earldouglas	travis-ci	pending completion set done
15	master	Migrate docs to this git repo	push	26 Jul 2018 07:10PM UTC	earldouglas	travis-ci	pending completion set done

← Previous
1
2
3
4
5
6
7
8
9
…
13
14
Next →