Code

Add CI via Github Actions.#100

Code

Merged

mikesperber merged 1 commit intocompiling-to-categories:mastercompiling-to-categories/concat:masterfrom con-kitty:new-cicon-kitty/concat:new-ciCopy head branch name to clipboardAug 11, 2022

+38-5

Commits

Commits on May 18, 2022

• Add CI via Github Actions.

  Show description for 070e118
  sellout

  committed
  070e118

  Copy full SHA for 070e118