Try adding a simple CI script for GithubActions.#12
Merged
michelp merged 15 commits intoGraphBLAS:mainfrom Apr 29, 2021
Merged
Commits
Commits on Apr 26, 2021
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed