reverted changes #26
JobPetrovcicAnnotations
26 errors and 13 warnings
|
Cabal Linux, 9.6.4:
src/full/Agda/Interaction/Highlighting/Sexp/Base.hs#L63
Could not find module ‘Agda.Utils.Pretty’
|
|
Cabal Linux, 9.6.4
Process completed with exit code 1.
|
|
Cabal Linux, 9.2.8:
src/full/Agda/Interaction/Highlighting/Sexp/Base.hs#L63
Could not find module ‘Agda.Utils.Pretty’
|
|
Cabal Linux, 9.2.8
Process completed with exit code 1.
|
|
Cabal Linux, 8.6.5:
src/full/Agda/Interaction/Highlighting/Sexp/Base.hs#L63
Could not find module ‘Agda.Utils.Pretty’
|
|
Cabal Linux, 8.6.5
Process completed with exit code 1.
|
|
Cabal Linux, 8.10.7:
src/full/Agda/Interaction/Highlighting/Sexp/Base.hs#L63
Could not find module ‘Agda.Utils.Pretty’
|
|
Cabal Linux, 8.10.7
Process completed with exit code 1.
|
|
Cabal Linux, 8.8.4:
src/full/Agda/Interaction/Highlighting/Sexp/Base.hs#L63
Could not find module ‘Agda.Utils.Pretty’
|
|
Cabal Linux, 8.8.4
Process completed with exit code 1.
|
|
Cabal Linux, 9.0.2:
src/full/Agda/Interaction/Highlighting/Sexp/Base.hs#L63
Could not find module ‘Agda.Utils.Pretty’
|
|
Cabal Linux, 9.0.2
Process completed with exit code 1.
|
|
Cabal Linux, 9.4.8:
src/full/Agda/Interaction/Highlighting/Sexp/Base.hs#L63
Could not find module ‘Agda.Utils.Pretty’
|
|
Cabal Linux, 9.4.8
Process completed with exit code 1.
|
|
Cabal Linux debug, 9.8.1:
src/full/Agda/Interaction/Highlighting/Sexp/Base.hs#L63
Could not find module ‘Agda.Utils.Pretty’.
|
|
Cabal Linux debug, 9.8.1
Process completed with exit code 1.
|
|
Cabal Linux doctest, 9.8.1:
src/full/Agda/Interaction/Highlighting/Sexp/Base.hs#L63
Could not find module ‘Agda.Utils.Pretty’.
|
|
Cabal Linux doctest, 9.8.1
Process completed with exit code 1.
|
|
Cabal Linux, 9.8.1:
src/full/Agda/Interaction/Highlighting/Sexp/Base.hs#L63
Could not find module ‘Agda.Utils.Pretty’.
|
|
Cabal Linux, 9.8.1
Process completed with exit code 1.
|
|
Cabal Windows, 9.8.1:
src/full/Agda/Interaction/Highlighting/Sexp/Base.hs#L63
Could not find module ‘Agda.Utils.Pretty’.
|
|
Cabal Windows, 9.8.1
Process completed with exit code 1.
|
|
Cabal Linux containers 0.7, 9.8.1:
src/full/Agda/Interaction/Highlighting/Sexp/Base.hs#L63
Could not find module ‘Agda.Utils.Pretty’.
|
|
Cabal Linux containers 0.7, 9.8.1
Process completed with exit code 1.
|
|
Cabal macOS, 9.8.1:
src/full/Agda/Interaction/Highlighting/Sexp/Base.hs#L63
Could not find module ‘Agda.Utils.Pretty’.
|
|
Cabal macOS, 9.8.1
Process completed with exit code 1.
|
|
Cabal Linux, 9.6.4
The process '/usr/bin/git' failed with exit code 128
|
|
Cabal Linux, 9.2.8
The process '/usr/bin/git' failed with exit code 128
|
|
Cabal Linux, 8.6.5
The process '/usr/bin/git' failed with exit code 128
|
|
Cabal Linux, 8.10.7
The process '/usr/bin/git' failed with exit code 128
|
|
Cabal Linux, 8.8.4
The process '/usr/bin/git' failed with exit code 128
|
|
Cabal Linux, 9.0.2
The process '/usr/bin/git' failed with exit code 128
|
|
Cabal Linux, 9.4.8
The process '/usr/bin/git' failed with exit code 128
|
|
Cabal Linux debug, 9.8.1
The process '/usr/bin/git' failed with exit code 128
|
|
Cabal Linux doctest, 9.8.1
The process '/usr/bin/git' failed with exit code 128
|
|
Cabal Linux, 9.8.1
The process '/usr/bin/git' failed with exit code 128
|
|
Cabal Windows, 9.8.1
The process 'C:\Program Files\Git\bin\git.exe' failed with exit code 128
|
|
Cabal Linux containers 0.7, 9.8.1
The process '/usr/bin/git' failed with exit code 128
|
|
Cabal macOS, 9.8.1
The process '/usr/local/bin/git' failed with exit code 128
|