Skip to content
Cryptol

Merge pull request #1529 from GaloisInc/ci_multidoc #1955

Sign in to view logs

Merge pull request #1529 from GaloisInc/ci_multidoc

Merge pull request #1529 from GaloisInc/ci_multidoc #1955

Triggered via push June 23, 2023 16:22
@kquickkquick
pushed ed84e2d
master
Status Success
Total duration 37m 18s
Artifacts 22
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

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

Annotations

42 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.4.4, 3.8.1.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-12, 9.4.4, 3.8.1.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.2.4, 3.8.1.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.2.4, 3.8.1.0, true): src/Cryptol/ModuleSystem/Renamer/ImplicitImports.hs#L59
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.2.4, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L337
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.2.4, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L343
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.2.4, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L350
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.2.4, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L356
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.2.4, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L363
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.2.4, 3.8.1.0, true): src/Cryptol/ModuleSystem/Renamer.hs#L698
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.2.4, 3.8.1.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188
Pattern match(es) are non-exhaustive
build (ubuntu-22.04, 9.2.4, 3.8.1.0, true): src/Cryptol/REPL/Browse.hs#L100
Defined but not used: ‘s’
build (ubuntu-22.04, 9.2.4, 3.8.1.0, true)
This binding for ‘err’ shadows the existing binding
build (ubuntu-20.04, 8.10.7, 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-20.04, 8.10.7, false): src/Cryptol/REPL/Browse.hs#L100
Defined but not used: ‘s’
build (ubuntu-20.04, 8.10.7, false)
This binding for ‘err’ shadows the existing binding
build (ubuntu-22.04, 8.10.7, 3.8.1.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, 8.10.7, 3.8.1.0, true): src/Cryptol/REPL/Browse.hs#L100
Defined but not used: ‘s’
build (ubuntu-22.04, 8.10.7, 3.8.1.0, true)
This binding for ‘err’ shadows the existing binding
build (macos-12, 8.10.7, 3.8.1.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-12, 8.10.7, 3.8.1.0, true): src/Cryptol/REPL/Browse.hs#L100
Defined but not used: ‘s’
build (macos-12, 8.10.7, 3.8.1.0, true)
This binding for ‘err’ shadows the existing binding
build (macos-12, 9.2.4, 3.8.1.0, true): src/Cryptol/ModuleSystem/Renamer/ImplicitImports.hs#L59
Pattern match(es) are non-exhaustive
build (macos-12, 9.2.4, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L337
Pattern match(es) are non-exhaustive
build (macos-12, 9.2.4, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L343
Pattern match(es) are non-exhaustive
build (macos-12, 9.2.4, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L350
Pattern match(es) are non-exhaustive
build (macos-12, 9.2.4, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L356
Pattern match(es) are non-exhaustive
build (macos-12, 9.2.4, 3.8.1.0, true): src/Cryptol/ModuleSystem/Binds.hs#L363
Pattern match(es) are non-exhaustive
build (macos-12, 9.2.4, 3.8.1.0, true): src/Cryptol/ModuleSystem/Renamer.hs#L698
Pattern match(es) are non-exhaustive
build (macos-12, 9.2.4, 3.8.1.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188
Pattern match(es) are non-exhaustive
build (macos-12, 9.2.4, 3.8.1.0, true): src/Cryptol/REPL/Browse.hs#L100
Defined but not used: ‘s’
build (macos-12, 9.2.4, 3.8.1.0, true)
This binding for ‘err’ shadows the existing binding
build (macos-12, 9.2.4, 3.8.1.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 (windows-2019, 8.10.7, 3.8.1.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 (windows-2019, 8.10.7, 3.8.1.0, true): src/Cryptol/REPL/Browse.hs#L100
Defined but not used: ‘s’
build (windows-2019, 8.10.7, 3.8.1.0, true)
This binding for ‘err’ shadows the existing binding

Artifacts

Produced during runtime
Name Size
Linux-bin Expired
173 MB
Linux-dist-bin Expired
255 MB
Windows-bin Expired
159 MB
Windows-dist-bin Expired
243 MB
cryptol-2.13.0.99-macos-12-x86_64 (GHC 8.10.7) Expired
21.4 MB
cryptol-2.13.0.99-macos-12-x86_64 (GHC 9.2.4) Expired
20.8 MB
cryptol-2.13.0.99-macos-12-x86_64 (GHC 9.4.4) Expired
21.6 MB
cryptol-2.13.0.99-macos-12-x86_64-with-solvers (GHC 8.10.7) Expired
54.2 MB
cryptol-2.13.0.99-macos-12-x86_64-with-solvers (GHC 9.2.4) Expired
53.7 MB
cryptol-2.13.0.99-macos-12-x86_64-with-solvers (GHC 9.4.4) Expired
54.5 MB
cryptol-2.13.0.99-ubuntu-20.04-x86_64 (GHC 8.10.7) Expired
38.2 MB
cryptol-2.13.0.99-ubuntu-20.04-x86_64-with-solvers (GHC 8.10.7) Expired
75.7 MB
cryptol-2.13.0.99-ubuntu-22.04-x86_64 (GHC 8.10.7) Expired
38.3 MB
cryptol-2.13.0.99-ubuntu-22.04-x86_64 (GHC 9.2.4) Expired
37.8 MB
cryptol-2.13.0.99-ubuntu-22.04-x86_64 (GHC 9.4.4) Expired
52 MB
cryptol-2.13.0.99-ubuntu-22.04-x86_64-with-solvers (GHC 8.10.7) Expired
76.9 MB
cryptol-2.13.0.99-ubuntu-22.04-x86_64-with-solvers (GHC 9.2.4) Expired
76.4 MB
cryptol-2.13.0.99-ubuntu-22.04-x86_64-with-solvers (GHC 9.4.4) Expired
90.6 MB
cryptol-2.13.0.99-windows-2019-x86_64 (GHC 8.10.7) Expired
78.9 MB
cryptol-2.13.0.99-windows-2019-x86_64-with-solvers (GHC 8.10.7) Expired
73 MB
macOS-bin Expired
133 MB
macOS-dist-bin Expired
165 MB