Cryptol

Add a `tcSmtFile` REPL option #2963

Sign in to view logs

Triggered via pull request December 14, 2024 00:14

RyanGlScott

synchronize #1783

T1782-tcSmtFile

Status Success

Total duration 1h 8m 54s

Artifacts 23

ci.yml

on: pull_request

Matrix: build

Matrix: build-push-image

Matrix: test

Annotations

62 warnings

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 (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.8.2, 3.10.3.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

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

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

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-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 (windows-2019, 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 (windows-2019, 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 (windows-2019, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L364

Pattern match(es) are non-exhaustive

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

Pattern match(es) are non-exhaustive

build (windows-2019, 9.4.8, true)

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

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/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
Windows MSI installer (GHC 9.4.8)	59 MB
cryptol-3.2.0.99-macos-13-X64 (GHC 9.4.8)	23.2 MB
cryptol-3.2.0.99-macos-13-X64-with-solvers (GHC 9.4.8)	54.5 MB
cryptol-3.2.0.99-macos-14-ARM64 (GHC 9.4.8)	62.5 MB
cryptol-3.2.0.99-macos-14-ARM64-with-solvers (GHC 9.4.8)	90.3 MB
cryptol-3.2.0.99-ubuntu-20.04-X64 (GHC 9.4.8)	43 MB
cryptol-3.2.0.99-ubuntu-20.04-X64-with-solvers (GHC 9.4.8)	81.1 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.4.8)	43 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.6.5)	42.2 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.8.2)	42.3 MB
cryptol-3.2.0.99-ubuntu-22.04-X64-with-solvers (GHC 9.4.8)	82.2 MB
cryptol-3.2.0.99-ubuntu-22.04-X64-with-solvers (GHC 9.6.5)	81.4 MB
cryptol-3.2.0.99-ubuntu-22.04-X64-with-solvers (GHC 9.8.2)	81.5 MB
cryptol-3.2.0.99-windows-2019-X64 (GHC 9.4.8)	59.5 MB
cryptol-3.2.0.99-windows-2019-X64-with-solvers (GHC 9.4.8)	97.1 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
windows-2019-bin	74.4 MB
windows-2019-dist-bin	95.6 MB