Cryptol

Add a `tcSmtFile` REPL option #2962

Sign in to view logs

Triggered via pull request December 13, 2024 23:28

RyanGlScott

synchronize #1783

T1782-tcSmtFile

Status Failure

Total duration 45m 9s

Artifacts 16

ci.yml

on: pull_request

Matrix: build

Matrix: build-push-image

Matrix: test

Annotations

2 errors and 46 warnings

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

Process completed with exit code 1.

build (windows-2019, 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-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): src/Cryptol/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

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

Defined but not used: type constructor or class ‘ArgoPanic’

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 (macos-14, 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#L344

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 (macos-14, 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#L364

Pattern match(es) are non-exhaustive

build (macos-14, 9.4.8, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

build (macos-14, 9.4.8, true)

Defined but not used: type constructor or class ‘ArgoPanic’

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 (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/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.4.8, false)

Defined but not used: type constructor or class ‘ArgoPanic’

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/

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/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

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

Defined but not used: type constructor or class ‘ArgoPanic’

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/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

build (macos-13, 9.4.8, true)

Defined but not used: type constructor or class ‘ArgoPanic’

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/

Artifacts

Produced during runtime

Name	Size
cryptol-3.2.0.99-macos-13-X64 (GHC 9.4.8) Expired	23.2 MB
cryptol-3.2.0.99-macos-13-X64-with-solvers (GHC 9.4.8) Expired	54.5 MB
cryptol-3.2.0.99-macos-14-ARM64 (GHC 9.4.8) Expired	62.5 MB
cryptol-3.2.0.99-macos-14-ARM64-with-solvers (GHC 9.4.8) Expired	90.3 MB
cryptol-3.2.0.99-ubuntu-20.04-X64 (GHC 9.4.8) Expired	43 MB
cryptol-3.2.0.99-ubuntu-20.04-X64-with-solvers (GHC 9.4.8) Expired	81.1 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.4.8) Expired	43 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.6.5) Expired	42.2 MB
cryptol-3.2.0.99-ubuntu-22.04-X64-with-solvers (GHC 9.4.8) Expired	82.2 MB
cryptol-3.2.0.99-ubuntu-22.04-X64-with-solvers (GHC 9.6.5) Expired	81.4 MB
macos-13-bin	55.6 MB
macos-13-dist-bin	53 MB
macos-14-bin	57.4 MB
macos-14-dist-bin	90.4 MB
ubuntu-22.04-bin	75.8 MB
ubuntu-22.04-dist-bin	80.8 MB