Closed paramsiddharth closed 2 years ago
This PR creates the on-push/tag CI workflow.
This PR should only be merged after #7 has been merged.
CC: @viferga
Created CI workflow
This PR creates the on-push/tag CI workflow.
This PR should only be merged after #7 has been merged.
CC: @viferga