New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use TIDs for the generation tables instead of names #82

Merged

cabol merged 1 commit into master from v2.0.0-rc.1

Oct 18, 2020

Owner

cabol commented Oct 18, 2020

Use TIDs for the generation tables instead of names

cabol force-pushed the v2.0.0-rc.1 branch 4 times, most recently from 46025bc to 46d3e6e Compare

October 18, 2020 12:43

coveralls commented Oct 18, 2020 •

edited

Loading

Coverage remained the same at 100.0% when pulling fa6c110 on v2.0.0-rc.1 into 046e1dc on master.


          Use TIDs for the generation tables instead of names

fa6c110

cabol force-pushed the v2.0.0-rc.1 branch from 46d3e6e to fa6c110 Compare

October 18, 2020 12:57

cabol merged commit 2f67f5b into master

cabol deleted the v2.0.0-rc.1 branch

October 18, 2020 13:01

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet