Skip to content

Try adding a simple CI script for GithubActions.#12

Merged
michelp merged 15 commits intoGraphBLAS:mainfrom
eriknw:basic_ci
Apr 29, 2021
Merged

Try adding a simple CI script for GithubActions.#12
michelp merged 15 commits intoGraphBLAS:mainfrom
eriknw:basic_ci

Commits

Commits on Apr 26, 2021