Add support for categorifying Natural
#101
Closed
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Garnix CI / package ghc8107_categorifier-duoids [i686-linux]
succeeded
Jan 12, 2024 in 3m 1s
Run results
Build succeeded
Details
Last 100 lines of logs:
/nix/store/56a5nwfiscydzp4xa6yb0wnlp0pz767s-categorifier-duoids-0.1
Executables installed in:
/nix/store/56a5nwfiscydzp4xa6yb0wnlp0pz767s-categorifier-duoids-0.1/bin
Libraries installed in:
/nix/store/56a5nwfiscydzp4xa6yb0wnlp0pz767s-categorifier-duoids-0.1/lib/ghc-8.10.7/i386-linux-ghc-8.10.7/categorifier-duoids-0.1-Leu8P7KwPq1IBgmgqw4Tab
Dynamic Libraries installed in:
/nix/store/56a5nwfiscydzp4xa6yb0wnlp0pz767s-categorifier-duoids-0.1/lib/ghc-8.10.7/i386-linux-ghc-8.10.7
Private executables installed in:
/nix/store/56a5nwfiscydzp4xa6yb0wnlp0pz767s-categorifier-duoids-0.1/libexec/i386-linux-ghc-8.10.7/categorifier-duoids-0.1
Data files installed in:
/nix/store/56a5nwfiscydzp4xa6yb0wnlp0pz767s-categorifier-duoids-0.1/share/i386-linux-ghc-8.10.7/categorifier-duoids-0.1
Documentation installed in:
/nix/store/si8v9jx3jvwjn0r0n6wkcq6bq4vvajb4-categorifier-duoids-0.1-doc/share/doc/categorifier-duoids-0.1
Configuration files installed in:
/nix/store/56a5nwfiscydzp4xa6yb0wnlp0pz767s-categorifier-duoids-0.1/etc
No alex found
Using ar found on system at:
/nix/store/bwhhizplvqhlk8prlnxpi01dq241fw6n-binutils-2.40/bin/ar
No c2hs found
No cpphs found
No doctest found
Using gcc version 12.3.0 given by user at:
/nix/store/5smg3ljbkx84m56q4z8c8m7isf2zvpwj-gcc-wrapper-12.3.0/bin/gcc
Using ghc version 8.10.7 found on system at:
/nix/store/h7i4vmymfrr59lpiiayzfqvmyymlafd4-ghc-8.10.7/bin/ghc
Using ghc-pkg version 8.10.7 found on system at:
/nix/store/h7i4vmymfrr59lpiiayzfqvmyymlafd4-ghc-8.10.7/bin/ghc-pkg
No ghcjs found
No ghcjs-pkg found
No greencard found
Using haddock version 2.24.2 found on system at:
/nix/store/h7i4vmymfrr59lpiiayzfqvmyymlafd4-ghc-8.10.7/bin/haddock
No happy found
Using haskell-suite found on system at: haskell-suite-dummy-location
Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
No hmake found
Using hpc version 0.68 found on system at:
/nix/store/h7i4vmymfrr59lpiiayzfqvmyymlafd4-ghc-8.10.7/bin/hpc
Using hsc2hs version 0.68.7 found on system at:
/nix/store/h7i4vmymfrr59lpiiayzfqvmyymlafd4-ghc-8.10.7/bin/hsc2hs
Using hscolour version 1.24 found on system at:
/nix/store/94asc97kjxzbz64ajhkqhwgsq7xlga2n-hscolour-1.24.4/bin/HsColour
No jhc found
Using ld found on system at:
/nix/store/s3aaxh4h25fhq3dmh1wjn0vr25vmp64y-binutils-wrapper-2.40/bin/ld.gold
No pkg-config found
Using runghc version 8.10.7 found on system at:
/nix/store/h7i4vmymfrr59lpiiayzfqvmyymlafd4-ghc-8.10.7/bin/runghc
Using strip version 2.40 found on system at:
/nix/store/5smg3ljbkx84m56q4z8c8m7isf2zvpwj-gcc-wrapper-12.3.0/bin/strip
Using tar found on system at:
/nix/store/x8xz40fw8sa1r9fw7rxaxi7y4qscjiny-gnutar-1.35/bin/tar
No uhc found
@nix {"action":"setPhase","phase":"buildPhase"}
building
Preprocessing library for categorifier-duoids-0.1..
Building library for categorifier-duoids-0.1..
[1 of 3] Compiling Categorifier.Duoidal ( Categorifier/Duoidal.hs, dist/build/Categorifier/Duoidal.o, dist/build/Categorifier/Duoidal.dyn_o )
[2 of 3] Compiling Categorifier.Duoidal.Either ( Categorifier/Duoidal/Either.hs, dist/build/Categorifier/Duoidal/Either.o, dist/build/Categorifier/Duoidal/Either.dyn_o )
[3 of 3] Compiling Paths_categorifier_duoids ( dist/build/autogen/Paths_categorifier_duoids.hs, dist/build/Paths_categorifier_duoids.o, dist/build/Paths_categorifier_duoids.dyn_o )
[1 of 3] Compiling Categorifier.Duoidal ( Categorifier/Duoidal.hs, dist/build/Categorifier/Duoidal.p_o )
[2 of 3] Compiling Categorifier.Duoidal.Either ( Categorifier/Duoidal/Either.hs, dist/build/Categorifier/Duoidal/Either.p_o )
[3 of 3] Compiling Paths_categorifier_duoids ( dist/build/autogen/Paths_categorifier_duoids.hs, dist/build/Paths_categorifier_duoids.p_o )
@nix {"action":"setPhase","phase":"checkPhase"}
running tests
Package has no test suites.
@nix {"action":"setPhase","phase":"haddockPhase"}
haddockPhase
Preprocessing library for categorifier-duoids-0.1..
Running Haddock on library for categorifier-duoids-0.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
Haddock coverage:
41% ( 7 / 17) in 'Categorifier.Duoidal'
Missing documentation for:
Parallel (Categorifier/Duoidal.hs:49)
Sequential (Categorifier/Duoidal.hs:51)
<*\> (Categorifier/Duoidal.hs:69)
<=\< (Categorifier/Duoidal.hs:82)
=<\< (Categorifier/Duoidal.hs:77)
<\* (Categorifier/Duoidal.hs:90)
*\> (Categorifier/Duoidal.hs:87)
joinD (Categorifier/Duoidal.hs:74)
liftD2 (Categorifier/Duoidal.hs:66)
pureD (Categorifier/Duoidal.hs:63)
100% ( 2 / 2) in 'Categorifier.Duoidal.Either'
Documentation created: dist/doc/html/categorifier-duoids/index.html,
dist/doc/html/categorifier-duoids/categorifier-duoids.txt
@nix {"action":"setPhase","phase":"installPhase"}
installing
Installing library in /nix/store/56a5nwfiscydzp4xa6yb0wnlp0pz767s-categorifier-duoids-0.1/lib/ghc-8.10.7/i386-linux-ghc-8.10.7/categorifier-duoids-0.1-Leu8P7KwPq1IBgmgqw4Tab
@nix {"action":"setPhase","phase":"fixupPhase"}
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/56a5nwfiscydzp4xa6yb0wnlp0pz767s-categorifier-duoids-0.1
shrinking /nix/store/56a5nwfiscydzp4xa6yb0wnlp0pz767s-categorifier-duoids-0.1/lib/ghc-8.10.7/i386-linux-ghc-8.10.7/libHScategorifier-duoids-0.1-Leu8P7KwPq1IBgmgqw4Tab-ghc8.10.7.so
checking for references to /build/ in /nix/store/56a5nwfiscydzp4xa6yb0wnlp0pz767s-categorifier-duoids-0.1...
patching script interpreter paths in /nix/store/56a5nwfiscydzp4xa6yb0wnlp0pz767s-categorifier-duoids-0.1
stripping (with command strip and flags -S -p) in /nix/store/56a5nwfiscydzp4xa6yb0wnlp0pz767s-categorifier-duoids-0.1/lib
shrinking RPATHs of ELF executables and libraries in /nix/store/si8v9jx3jvwjn0r0n6wkcq6bq4vvajb4-categorifier-duoids-0.1-doc
checking for references to /build/ in /nix/store/si8v9jx3jvwjn0r0n6wkcq6bq4vvajb4-categorifier-duoids-0.1-doc...
patching script interpreter paths in /nix/store/si8v9jx3jvwjn0r0n6wkcq6bq4vvajb4-categorifier-duoids-0.1-doc
Loading