Cryptol

Cryptol Projects #2968

Triggered via pull request December 17, 2024 00:51

glguy

synchronize #1526

projects

Status Failure

Total duration 14m 3s

Artifacts –

ci.yml

on: pull_request

config

Matrix: build

Matrix: build-push-image

Matrix: test

Annotations

28 errors and 76 warnings

build (ubuntu-20.04, 9.4.8, false): src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

build (ubuntu-20.04, 9.4.8, false): src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

build (ubuntu-20.04, 9.4.8, false): src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

build (ubuntu-20.04, 9.4.8, false)

Process completed with exit code 1.

build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

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

Process completed with exit code 1.

build (macos-14, 9.4.8, true): src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

build (macos-14, 9.4.8, true): src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

build (macos-14, 9.4.8, true): src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

build (macos-14, 9.4.8, true)

Process completed with exit code 1.

build (windows-2019, 9.4.8, true): src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

build (windows-2019, 9.4.8, true): src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

build (windows-2019, 9.4.8, true): src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

build (windows-2019, 9.4.8, true)

Process completed with exit code 1.

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

• The data constructor ‘BadUtf8’ should have 3 arguments, but has been given 2

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

• The data constructor ‘BadUtf8’ should have 3 arguments, but has been given 2

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

• The data constructor ‘BadUtf8’ should have 3 arguments, but has been given 2

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

Process completed with exit code 1.

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

• The constructor ‘BadUtf8’ should have 3 arguments, but has been given 2

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

• The constructor ‘BadUtf8’ should have 3 arguments, but has been given 2

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

• The constructor ‘BadUtf8’ should have 3 arguments, but has been given 2

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

Process completed with exit code 1.

build (macos-13, 9.4.8, true): src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

build (macos-13, 9.4.8, true): src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

build (macos-13, 9.4.8, true): src/Cryptol/Project/Monad.hs#L113

Variable not in scope:

build (macos-13, 9.4.8, true)

Process completed with exit code 1.

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

build (ubuntu-20.04, 9.4.8, false): src/Cryptol/Utils/Ident.hs#L175