Cryptol

Update modNameChunksText to match modNameToText behavior (#1791) #3044

Sign in to view logs

Triggered via push January 23, 2025 21:45

glguy

master

Status Success

Total duration 23m 49s

Artifacts 23

ci.yml

on: push

Matrix: build

Matrix: build-push-image

Matrix: test

Annotations

27 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-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)

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)

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)

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.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 (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)

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)

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) Expired	59.6 MB
cryptol-3.2.0.99-macos-13-X64 (GHC 9.4.8) Expired	23.4 MB
cryptol-3.2.0.99-macos-13-X64-with-solvers (GHC 9.4.8) Expired	54.7 MB
cryptol-3.2.0.99-macos-14-ARM64 (GHC 9.4.8) Expired	63.2 MB
cryptol-3.2.0.99-macos-14-ARM64-with-solvers (GHC 9.4.8) Expired	91 MB
cryptol-3.2.0.99-ubuntu-20.04-X64 (GHC 9.4.8) Expired	43.6 MB
cryptol-3.2.0.99-ubuntu-20.04-X64-with-solvers (GHC 9.4.8) Expired	81.7 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.4.8) Expired	43.6 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.6.5) Expired	42.7 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.8.2) Expired	42.8 MB
cryptol-3.2.0.99-ubuntu-22.04-X64-with-solvers (GHC 9.4.8) Expired	82.8 MB
cryptol-3.2.0.99-ubuntu-22.04-X64-with-solvers (GHC 9.6.5) Expired	81.9 MB
cryptol-3.2.0.99-ubuntu-22.04-X64-with-solvers (GHC 9.8.2) Expired	82 MB
cryptol-3.2.0.99-windows-2019-X64 (GHC 9.4.8) Expired	60.1 MB
cryptol-3.2.0.99-windows-2019-X64-with-solvers (GHC 9.4.8) Expired	97.8 MB
macos-13-bin	64.6 MB
macos-13-dist-bin	53.1 MB
macos-14-bin	84 MB
macos-14-dist-bin	91.1 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