Skip to content
Cryptol

improve exhaustiveness check by attempting each guard as the consequent #3152

Sign in to view logs

improve exhaustiveness check by attempting each guard as the consequent

improve exhaustiveness check by attempting each guard as the consequent #3152

Re-run triggered March 4, 2025 22:12
@danmatichukdanmatichuk
#1819
dm/issue1796
Status Success
Total duration 18m 39s
Artifacts 23

ci.yml

on: pull_request
config
7s
config
Matrix: build
Matrix: build-push-image
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

54 warnings
config
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/
config
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/
config
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/
config
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/
config
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/
config
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-22.04, 9.6.5, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L338
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.6.5, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L344
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.6.5, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L351
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.6.5, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L357
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.6.5, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L364
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.6.5, 3.10.3.0, 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 (ubuntu-22.04, 9.8.2, 3.10.3.0, 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 (ubuntu-22.04, 9.8.2, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L338
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.8.2, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L344
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.8.2, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L351
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.8.2, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L357
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.8.2, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L364
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.4.8, 3.10.3.0, 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 (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L338
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L344
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L351
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L357
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L364
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/Project/Monad.hs#L29
Module ‘Control.Monad.Except’ does not export ‘tryError’
build (windows-2019, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L338
Pattern match(es) are non-exhaustive
build (macos-14, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L338
Pattern match(es) are non-exhaustive
build (windows-2019, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L344
Pattern match(es) are non-exhaustive
build (macos-14, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L344
Pattern match(es) are non-exhaustive
build (windows-2019, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L351
Pattern match(es) are non-exhaustive
build (macos-14, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L351
Pattern match(es) are non-exhaustive
build (windows-2019, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L357
Pattern match(es) are non-exhaustive
build (macos-14, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L357
Pattern match(es) are non-exhaustive
build (windows-2019, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L364
Pattern match(es) are non-exhaustive
build (macos-14, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L364
Pattern match(es) are non-exhaustive
build (macos-14, 9.4.8, true): src/Cryptol/Project/Monad.hs#L29
Module ‘Control.Monad.Except’ does not export ‘tryError’
build (windows-2019, 9.4.8, true): src/Cryptol/Project/Monad.hs#L29
Module ‘Control.Monad.Except’ does not export ‘tryError’
build (macos-14, 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 (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/ModuleSystem/Binds.hs#L338
Pattern match(es) are non-exhaustive
build (macos-13, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L344
Pattern match(es) are non-exhaustive
build (macos-13, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L351
Pattern match(es) are non-exhaustive
build (macos-13, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L357
Pattern match(es) are non-exhaustive
build (macos-13, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L364
Pattern match(es) are non-exhaustive
build (macos-13, 9.4.8, true): src/Cryptol/Project/Monad.hs#L29
Module ‘Control.Monad.Except’ does not export ‘tryError’
build (macos-13, 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 (ubuntu-20.04, 9.4.8, false)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
build (ubuntu-20.04, 9.4.8, false): src/Cryptol/ModuleSystem/Binds.hs#L338
Pattern match(es) are non-exhaustive
build (ubuntu-20.04, 9.4.8, false): src/Cryptol/ModuleSystem/Binds.hs#L344
Pattern match(es) are non-exhaustive
build (ubuntu-20.04, 9.4.8, false): src/Cryptol/ModuleSystem/Binds.hs#L351
Pattern match(es) are non-exhaustive
build (ubuntu-20.04, 9.4.8, false): src/Cryptol/ModuleSystem/Binds.hs#L357
Pattern match(es) are non-exhaustive
build (ubuntu-20.04, 9.4.8, false): src/Cryptol/ModuleSystem/Binds.hs#L364
Pattern match(es) are non-exhaustive
build (ubuntu-20.04, 9.4.8, false): src/Cryptol/Project/Monad.hs#L29
Module ‘Control.Monad.Except’ does not export ‘tryError’
build (ubuntu-20.04, 9.4.8, false)
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/

Artifacts

Produced during runtime
Name Size
cryptol-3.2.0.99-ubuntu-20.04-X64 (GHC 9.4.8)
43.7 MB
cryptol-3.2.0.99-ubuntu-20.04-X64-with-solvers (GHC 9.4.8)
81.9 MB