Code

Port CI from Travis to GH Actions#237

Code

Merged

JasonGross merged 1 commit intorocq-archive:v8.13rocq-archive/coq-serapi:v8.13from JasonGross:gh-actionsJasonGross/coq-serapi:gh-actionsCopy head branch name to clipboardApr 17, 2021

+98-84

Commits

Commits on Apr 15, 2021

• Port CI from Travis to GH Actions

  JasonGross

  committed
  b3246d9