build

Fix translator-tests after GaloisInc/crucible#1150 #64

Sign in to view logs

Triggered via push January 9, 2025 13:23

RyanGlScott

T37-fix-translator-tests

Status Failure

Total duration 42m 24s

Billable time 2h 9m

Artifacts 1

ci.yml

on: push

Matrix: build

Annotations

5 errors and 39 warnings

Process completed with exit code 1.

The job was canceled because "ubuntu-22_04_3_10_1_0_9_4" failed.

The operation was canceled.

The job was canceled because "ubuntu-22_04_3_10_1_0_9_4" failed.

The operation was canceled.

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Pattern match is redundant

Unhandled instruction definitions for ISA: 18

The import of ‘Data.String’ is redundant

The import of ‘+, <=’

• No explicit implementation for

Pattern match(es) are non-exhaustive

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):

GHC 9.4.8: tests/Main.hs#L36

• Fields of ‘SA.StubsFunction’ not initialised:

GHC 9.4.8: tests/Main.hs#L60

• Fields of ‘SA.StubsFunction’ not initialised:

GHC 9.4.8: tests/Main.hs#L82

• Fields of ‘SA.StubsFunction’ not initialised:

GHC 9.4.8: tests/Main.hs#L105

• Fields of ‘SA.StubsFunction’ not initialised:

GHC 9.4.8: tests/Main.hs#L120

• Fields of ‘SA.StubsFunction’ not initialised:

GHC 9.4.8: tests/Main.hs#L128

• Fields of ‘SA.StubsFunction’ not initialised:

GHC 9.4.8: tests/Main.hs#L142

• Fields of ‘SA.StubsFunction’ not initialised:

GHC 9.4.8: tests/Main.hs#L157

• Fields of ‘SA.StubsFunction’ not initialised:

Pattern match is redundant

Unhandled instruction definitions for ISA: 18

The import of ‘Data.String’ is redundant

The import of ‘+, <=’

• No explicit implementation for

Pattern match(es) are non-exhaustive

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):

The import of ‘Control.Applicative’ is redundant

Unhandled instruction definitions for ISA: 18

The import of ‘Data.String’ is redundant

The import of ‘+, <=’

• No explicit implementation for

Pattern match is redundant

Pattern match(es) are non-exhaustive

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

Artifacts

Produced during runtime

Name	Size
stubs-docs	1.23 MB