Deploying to docs from @ 3ee8607 🚀

noinia · Sep 16, 2024 · eb462f0 · eb462f0
1 parent d355c9d
commit eb462f0
Show file tree

Hide file tree

Showing 5 changed files with 115 additions and 87 deletions.
diff --git a/haddock.txt b/haddock.txt
@@ -1,6 +1,7 @@
  100% ( 48 / 48) in 'Hiraffe.PlanarGraph'
  100% ( 42 / 42) in 'HGeometry.Point'
  100% ( 34 / 34) in 'HGeometry.Vector.Class'
+ 100% ( 33 / 33) in 'Ipe.Color'
  100% ( 29 / 29) in 'HGeometry.Interval.Class'
  100% ( 24 / 24) in 'HGeometry.Transformation'
  100% ( 21 / 21) in 'HGeometry.Tree.Util'
@@ -172,4 +173,3 @@
   30% (  4 / 13) in 'Ipe.IpeToIpe'
   25% (  1 /  4) in 'HGeometry.Kernel.Instances'
   22% (  5 / 22) in 'Ipe.Path'
-  15% (  5 / 33) in 'Ipe.Color'
diff --git a/haddock_badge.json b/haddock_badge.json
@@ -1 +1 @@
-  { "schemaVersion": 1,     "label": "api docs",     "message": "96%",     "color": "success"   }
+  { "schemaVersion": 1,     "label": "api docs",     "message": "98%",     "color": "success"   }
diff --git a/haddocks/hgeometry/ipe/Ipe-Color.html b/haddocks/hgeometry/ipe/Ipe-Color.html
diff --git a/haddocks/hgeometry/ipe/ipe.haddock b/haddocks/hgeometry/ipe/ipe.haddock
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{ "schemaVersion": 1, "label": "api docs", "message": "96%", "color": "success" }
		{ "schemaVersion": 1, "label": "api docs", "message": "98%", "color": "success" }