Merge pull request #14 from dwhswenson/spec0-tools

Rename package/repo to spec0-tools

Author: ethanholz

.github/workflows/publish-pypi.yaml

@@ -9,7 +9,7 @@ on:
 
 jobs:
   deploy_pypi:
-    if: ${{ github.repository == 'omsf/spec0' }}
+    if: ${{ github.repository == 'omsf/spec0-tools' }}
     runs-on: ubuntu-latest
     name: "Publish on PyPI"
     permissions:

pyproject.toml

@@ -3,8 +3,8 @@ requires = ["setuptools>=61.0", "wheel"]
 build-backend = "setuptools.build_meta"
 
 [project]
-name = "spec0"
-version = "0.0.1.dev0"
+name = "spec0-tools"
+version = "0.1.0"
 description = "A tool to check which versions of a package should be supported according to SPEC0."
 authors = [
   { name = "David W.H. Swenson", email = "dwhs@hyperblazer.net" }