Code

Use github actions#612

Code

Closed

DavidTanner wants to merge 1 commit intokach:masterkach/nearley:masterfrom DavidTanner:switchToGithubActionsCopy head branch name to clipboard

+41-17

Commits

Commits on Apr 13, 2022

• Use github actions

  DavidTanner

  committed
  fd1e12e