Skip to content

Update generate & Add template for GitHub container action#26

Merged
erikmd merged 12 commits intocoq-community:masterfrom erikmd:update-generate+add-github-actionMay 1, 2020
+112-4

Commits

Commits on Apr 26, 2020

Commits on Apr 27, 2020

Commits on Apr 28, 2020

Commits on May 1, 2020