Build #1 for ord-axiomata-0.1.0.0
Package | ord-axiomata-0.1.0.0 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2025-07-18 01:34:30.632823785 UTC |
---|---|
Compiler | ghc-9.8.4 |
OS | linux |
Arch | x86_64 |
Dependencies | base-4.19.2.0 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Downloading ord-axiomata-0.1.0.0 Downloaded ord-axiomata-0.1.0.0 Configuring ord-axiomata-0.1.0.0... Preprocessing library for ord-axiomata-0.1.0.0.. Building library for ord-axiomata-0.1.0.0.. [1 of 2] Compiling Data.Type.Ord.Axiomata ( src/Data/Type/Ord/Axiomata.hs, dist/build/Data/Type/Ord/Axiomata.o, dist/build/Data/Type/Ord/Axiomata.dyn_o ) [2 of 2] Compiling Data.Type.Ord.Lemmata ( src/Data/Type/Ord/Lemmata.hs, dist/build/Data/Type/Ord/Lemmata.o, dist/build/Data/Type/Ord/Lemmata.dyn_o ) Preprocessing library for ord-axiomata-0.1.0.0.. Running Haddock on library for ord-axiomata-0.1.0.0.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [1 of 2] Compiling Data.Type.Ord.Axiomata ( src/Data/Type/Ord/Axiomata.hs, nothing ) [2 of 2] Compiling Data.Type.Ord.Lemmata ( src/Data/Type/Ord/Lemmata.hs, nothing ) Haddock coverage: 75% ( 18 / 24) in 'Data.Type.Ord.Axiomata' Missing documentation for: < (src/Data/Type/Ord/Axiomata.hs:97) == (src/Data/Type/Ord/Axiomata.hs:98) > (src/Data/Type/Ord/Axiomata.hs:99) <= (src/Data/Type/Ord/Axiomata.hs:100) /= (src/Data/Type/Ord/Axiomata.hs:101) >= (src/Data/Type/Ord/Axiomata.hs:102) 100% ( 23 / 23) in 'Data.Type.Ord.Lemmata' Warning: Data.Type.Ord.Axiomata: could not find link destinations for: - Data.Type.Ord.Axiomata.D:R:LowerBoundSymbol - Data.Type.Ord.Axiomata.D:R:LowerBoundChar - Data.Type.Ord.Axiomata.D:R:LowerBoundNatural Documentation created: dist/doc/html/ord-axiomata/, dist/doc/html/ord-axiomata/ord-axiomata.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/ord-axiomata-0.1.0.0-G5oXEtYSAmECN6kmy4icmk Completed ord-axiomata-0.1.0.0
Test log
[view raw]
Resolving dependencies... No tests to run for all the packages in the project