Skip to content
Cryptol

Add a tcSmtFile REPL option #3009

Sign in to view logs

Add a tcSmtFile REPL option

Add a tcSmtFile REPL option #3009

Triggered via pull request January 6, 2025 16:42
@RyanGlScottRyanGlScott
synchronize #1783
T1782-tcSmtFile
Status Success
Total duration 1h 6m 40s
Artifacts 23

ci.yml

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

Annotations

83 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.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/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.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-22.04, 9.8.2, 3.10.3.0, true)
The qualified import of ‘Data.Map.Strict’ is redundant
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/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): src/Cryptol/Project/Monad.hs#L29
Module ‘Control.Monad.Except’ does not export ‘tryError’
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.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 (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 qualified import of ‘Data.Map.Strict’ is redundant
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/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/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): src/Cryptol/Project/Monad.hs#L29
Module ‘Control.Monad.Except’ does not export ‘tryError’
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-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/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/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): src/Cryptol/Project/Monad.hs#L29
Module ‘Control.Monad.Except’ does not export ‘tryError’
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true)
Defined but not used: type constructor or class ‘ArgoPanic’
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/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): src/Cryptol/Project/Monad.hs#L29
Module ‘Control.Monad.Except’ does not export ‘tryError’
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/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/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): src/Cryptol/Project/Monad.hs#L29
Module ‘Control.Monad.Except’ does not export ‘tryError’
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.6 MB
cryptol-3.2.0.99-macos-13-X64 (GHC 9.4.8)
23.3 MB
cryptol-3.2.0.99-macos-13-X64-with-solvers (GHC 9.4.8)
54.6 MB
cryptol-3.2.0.99-macos-14-ARM64 (GHC 9.4.8)
63.1 MB
cryptol-3.2.0.99-macos-14-ARM64-with-solvers (GHC 9.4.8)
90.9 MB
cryptol-3.2.0.99-ubuntu-20.04-X64 (GHC 9.4.8)
43.6 MB
cryptol-3.2.0.99-ubuntu-20.04-X64-with-solvers (GHC 9.4.8)
81.7 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.4.8)
43.6 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.6.5)
42.7 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.8.2)
42.8 MB
cryptol-3.2.0.99-ubuntu-22.04-X64-with-solvers (GHC 9.4.8)
82.8 MB
cryptol-3.2.0.99-ubuntu-22.04-X64-with-solvers (GHC 9.6.5)
81.9 MB
cryptol-3.2.0.99-ubuntu-22.04-X64-with-solvers (GHC 9.8.2)
82 MB
cryptol-3.2.0.99-windows-2019-X64 (GHC 9.4.8)
60.1 MB
cryptol-3.2.0.99-windows-2019-X64-with-solvers (GHC 9.4.8)
97.8 MB
macos-13-bin
64.6 MB
macos-13-dist-bin
53.1 MB
macos-14-bin
83.9 MB
macos-14-dist-bin
91.1 MB
ubuntu-22.04-bin
91.2 MB
ubuntu-22.04-dist-bin
81.3 MB
windows-2019-bin
93.8 MB
windows-2019-dist-bin
96.2 MB