Skip to content
Cryptol

Merge pull request #1793 from GaloisInc/load-project-api #3097

# to view logs

Merge pull request #1793 from GaloisInc/load-project-api

Merge pull request #1793 from GaloisInc/load-project-api #3097

Triggered via push February 18, 2025 19:20
@yavyav
pushed 5e746cc
master
Status Failure
Total duration 49m 51s
Artifacts 19

ci.yml

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

Annotations

1 error and 72 warnings
build (macos-14, 9.4.8, true)
Unexpected HTTP response: 503
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 (macos-14, 9.4.8, true)
Cache save failed.
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 `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-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/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.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.7 MB
cryptol-3.2.0.99-macos-13-X64 (GHC 9.4.8)
23.7 MB
cryptol-3.2.0.99-macos-13-X64-with-solvers (GHC 9.4.8)
55 MB
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.7 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.4.8)
43.7 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.6.5)
42.8 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.8.2)
42.9 MB
cryptol-3.2.0.99-ubuntu-22.04-X64-with-solvers (GHC 9.4.8)
82.9 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.1 MB
cryptol-3.2.0.99-windows-2019-X64 (GHC 9.4.8)
60.2 MB
cryptol-3.2.0.99-windows-2019-X64-with-solvers (GHC 9.4.8)
97.9 MB
macos-13-bin
64.8 MB
macos-13-dist-bin
53.4 MB
ubuntu-22.04-bin
91.3 MB
ubuntu-22.04-dist-bin
81.4 MB
windows-2019-bin
93.9 MB
windows-2019-dist-bin
96.3 MB