Added code coverage (#15)

* Added code coverage

* Fix documentation dependency incorrect resolution

* Use newest version of catlab

.github/workflows/codecov.yml

@@ -0,0 +1,19 @@
+name: Code Coverage
+
+on: [push, pull_request]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: julia-actions/setup-julia@latest
+        with:
+          version: '1.5'
+      - uses: julia-actions/julia-buildpkg@latest
+      - uses: julia-actions/julia-runtest@latest
+      - uses: julia-actions/julia-processcoverage@v1
+      - uses: codecov/codecov-action@v1
+        with:
+          file: lcov.info
+          fail_ci_if_error: true

.github/workflows/docs.yml

@@ -17,7 +17,7 @@ jobs:
           sudo apt-get install graphviz pdf2svg
           sudo apt-get install texlive-latex-base texlive-latex-extra texlive-binaries texlive-pictures texlive-luatex
       - name: "Install Julia dependencies"
-        run: julia --project=docs -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
+        run: julia --project=docs -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate();'
       - name: "Build and deploy docs"
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Project.toml

@@ -11,7 +11,7 @@ Petri = "4259d249-1051-49fa-8328-3f8ab9391c33"
 
 [compat]
 AutoHashEquals = "^0.2.0"
-Catlab = "0.7.3"
+Catlab = "0.7.4"
 Petri = "^1.1.0"
 julia = "1.0"
 

README.md

@@ -2,6 +2,7 @@
 
 [![Documentation](https://github.com/AlgebraicJulia/AlgebraicPetri.jl/workflows/Documentation/badge.svg)](https://algebraicjulia.github.io/AlgebraicPetri.jl/dev/)
 ![Tests](https://github.com/AlgebraicJulia/AlgebraicPetri.jl/workflows/Tests/badge.svg)
+[![Code Coverage](https://codecov.io/gh/AlgebraicJulia/AlgebraicPetri.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/AlgebraicJulia/AlgebraicPetri.jl)
 [![DOI](https://zenodo.org/badge/275202510.svg)](https://zenodo.org/badge/latestdoi/275202510)
 
 Build petri net agent based models compositionally