Cryptol

Add project and docstring checking functions to cryptol-remote-api #3055

Sign in to view logs

Triggered via pull request January 31, 2025 18:37

glguy

opened #1793

load-project-api

Status Failure

Total duration 16m 29s

Artifacts 5

ci.yml

on: pull_request

Matrix: build

Matrix: build-push-image

Matrix: test

Annotations

6 errors and 26 warnings

build (ubuntu-20.04, 9.4.8, false)

Process completed with exit code 1.

build (macos-14, 9.4.8, true)

Process completed with exit code 1.

build (ubuntu-22.04, 9.8.2, 3.10.3.0, true)

Process completed with exit code 1.

build (ubuntu-22.04, 9.4.8, 3.10.3.0, true)

Process completed with exit code 1.

build (ubuntu-22.04, 9.6.5, 3.10.3.0, true)

Process completed with exit code 1.

build (macos-13, 9.4.8, true)

Process completed with exit code 1.

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-20.04, 9.4.8, false): src/Cryptol/Utils/Ident.hs#L175

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.4.8, false): src/Cryptol/Utils/Ident.hs#L185

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.4.8, false): src/Cryptol/Project/Monad.hs#L30

Module ‘Control.Monad.Except’ does not export ‘tryError’

build (macos-14, 9.4.8, true): src/Cryptol/Utils/Ident.hs#L175

Pattern match(es) are non-exhaustive

build (macos-14, 9.4.8, true): src/Cryptol/Utils/Ident.hs#L185

Pattern match(es) are non-exhaustive

build (macos-14, 9.4.8, true): src/Cryptol/Project/Monad.hs#L30

Module ‘Control.Monad.Except’ does not export ‘tryError’

build (ubuntu-22.04, 9.8.2, 3.10.3.0, true): src/Cryptol/Utils/Ident.hs#L175

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.8.2, 3.10.3.0, true): src/Cryptol/Utils/Ident.hs#L185

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/Utils/Ident.hs#L175

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/Utils/Ident.hs#L185

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/Project/Monad.hs#L30

Module ‘Control.Monad.Except’ does not export ‘tryError’

build (ubuntu-22.04, 9.6.5, 3.10.3.0, true): src/Cryptol/Utils/Ident.hs#L175

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.6.5, 3.10.3.0, true): src/Cryptol/Utils/Ident.hs#L185

Pattern match(es) are non-exhaustive

build (windows-2019, 9.4.8, true): src/Cryptol/Utils/Ident.hs#L175

Pattern match(es) are non-exhaustive

build (windows-2019, 9.4.8, true): src/Cryptol/Utils/Ident.hs#L185

Pattern match(es) are non-exhaustive

build (windows-2019, 9.4.8, true): src/Cryptol/Project/Monad.hs#L30

Module ‘Control.Monad.Except’ does not export ‘tryError’

build (windows-2019, 9.4.8, true)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (macos-13, 9.4.8, true): src/Cryptol/Utils/Ident.hs#L175

Pattern match(es) are non-exhaustive

build (macos-13, 9.4.8, true): src/Cryptol/Utils/Ident.hs#L185

Pattern match(es) are non-exhaustive

build (macos-13, 9.4.8, true): src/Cryptol/Project/Monad.hs#L30

Module ‘Control.Monad.Except’ does not export ‘tryError’

Artifacts

Produced during runtime

Name	Size
Windows MSI installer (GHC 9.4.8) Expired	59.7 MB
cryptol-3.2.0.99-windows-2019-X64 (GHC 9.4.8) Expired	60.1 MB
cryptol-3.2.0.99-windows-2019-X64-with-solvers (GHC 9.4.8) Expired	97.8 MB
windows-2019-bin	93.9 MB
windows-2019-dist-bin	96.3 MB