commit | a20a85282c2cf4344f8d7e45445597238c616b92 | [log] [tgz] |
---|---|---|
author | Abhinav Gupta <abg@uber.com> | Thu May 06 15:23:00 2021 -0700 |
committer | GitHub <noreply@github.com> | Thu May 06 15:23:00 2021 -0700 |
tree | 9c6939accfcd6d2e18c1012b1258f653609bedbb | |
parent | 1014a7cd66381a738429b859c406cee9a52bcba4 [diff] | |
parent | 0b656320b9b9c36b9a9264d316aaa1e950e7c2bb [diff] |
ci: Use GitHub Workflows (#49) Use GitHub Workflows for CI instead of Travis. In the process, this resulted in some cleanup of the Makefile (in particular, dropping the update-license tool) and updating the licenses manually.