Skip to content
G2

Working with unmapped variable in an expression environment and build… #930

Sign in to view logs

Working with unmapped variable in an expression environment and build…

Working with unmapped variable in an expression environment and build… #930

Triggered via pull request July 19, 2023 14:45
@QHWU1228QHWU1228
synchronize #200
unmapped
Status Failure
Total duration 12m 13s
Artifacts –

haskell.yaml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

27 errors and 136 warnings
build (8.10.7, 3.6, test-g2q, -support-lh): tests/RewriteVerify/RewriteVerifyTest.hs#L31
• Non type-variable argument in the constraint: ASTContainer t Type
build (8.10.7, 3.6, test-g2q, -support-lh)
Process completed with exit code 1.
build (8.2.2, 3.0, test-g2q, -support-lh): tests/RewriteVerify/RewriteVerifyTest.hs#L31
• Non type-variable argument in the constraint: ASTContainer t Type
build (8.2.2, 3.0, test-g2q, -support-lh)
The operation was canceled.
build (8.6.5, 3.0, test, -support-lh): tests/RewriteVerify/RewriteVerifyTest.hs#L31
• Non type-variable argument in the constraint: ASTContainer t Type
build (8.6.5, 3.0, test, -support-lh)
The operation was canceled.
build (9.2.4, 3.6, test-g2q, -support-lh): tests/RewriteVerify/RewriteVerifyTest.hs#L31
• Non type-variable argument in the constraint: ASTContainer t Type
build (9.2.4, 3.6, test-g2q, -support-lh)
The operation was canceled.
build (8.6.5, 3.0, test-g2q, -support-lh): tests/RewriteVerify/RewriteVerifyTest.hs#L31
• Non type-variable argument in the constraint: ASTContainer t Type
build (8.6.5, 3.0, test-g2q, -support-lh)
The operation was canceled.
build (9.0.2, 3.6, test-lh, support-lh)
The operation was canceled.
build (9.6.1, 3.10, test, -support-lh)
The operation was canceled.
build (8.10.7, 3.6, test-lh, support-lh)
The operation was canceled.
build (8.2.2, 3.0, test, -support-lh): tests/RewriteVerify/RewriteVerifyTest.hs#L31
• Non type-variable argument in the constraint: ASTContainer t Type
build (8.2.2, 3.0, test, -support-lh)
The operation was canceled.
build (9.0.2, 3.6, test-g2q, -support-lh): tests/RewriteVerify/RewriteVerifyTest.hs#L31
• Non type-variable argument in the constraint: ASTContainer t Type
build (9.0.2, 3.6, test-g2q, -support-lh)
The operation was canceled.
build (9.2.4, 3.6, test, -support-lh): tests/RewriteVerify/RewriteVerifyTest.hs#L31
• Non type-variable argument in the constraint: ASTContainer t Type
build (9.2.4, 3.6, test, -support-lh)
The operation was canceled.
build (9.6.1, 3.10, test-g2q, -support-lh)
The operation was canceled.
build (9.0.2, 3.6, test, -support-lh): tests/RewriteVerify/RewriteVerifyTest.hs#L31
• Non type-variable argument in the constraint: ASTContainer t Type
build (9.0.2, 3.6, test, -support-lh)
The operation was canceled.
build (9.4.4, 3.6, test, -support-lh): tests/RewriteVerify/RewriteVerifyTest.hs#L31
• Non type-variable argument in the constraint: ASTContainer t Type
build (9.4.4, 3.6, test, -support-lh)
The operation was canceled.
build (8.10.7, 3.6, test, -support-lh): tests/RewriteVerify/RewriteVerifyTest.hs#L31
• Non type-variable argument in the constraint: ASTContainer t Type
build (8.10.7, 3.6, test, -support-lh)
The operation was canceled.
build (9.4.4, 3.6, test-g2q, -support-lh)
The operation was canceled.
build (8.10.7, 3.6, test-g2q, -support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.10.7, 3.6, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L57
A do-notation statement discarded a result of type
build (8.10.7, 3.6, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L60
A do-notation statement discarded a result of type
build (8.10.7, 3.6, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L61
This binding for ‘stdout’ shadows the existing binding
build (8.10.7, 3.6, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L64
A do-notation statement discarded a result of type
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Config/Config.hs#L26
The import of ‘Data.Monoid’ is redundant
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Config/Interface.hs#L6
The import of ‘Data.Monoid’ is redundant
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Data/UnionFind.hs#L27
The import of ‘Data.Semigroup’ is redundant
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Equiv/Config.hs#L11
The import of ‘Data.Monoid’ is redundant
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Equiv/Config.hs#L14
The import of ‘Text.Read’ is redundant
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L80
The import of ‘Data.Monoid’ is redundant
build (8.2.2, 3.0, test-g2q, -support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.2.2, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L57
A do-notation statement discarded a result of type
build (8.2.2, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L60
A do-notation statement discarded a result of type
build (8.2.2, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L61
This binding for ‘stdout’ shadows the existing binding
build (8.2.2, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L64
A do-notation statement discarded a result of type
build (8.2.2, 3.0, test-g2q, -support-lh): src/G2/Data/UnionFind.hs#L152
• No explicit implementation for
build (8.2.2, 3.0, test-g2q, -support-lh): src/G2/Equiv/Config.hs#L14
The import of ‘Text.Read’ is redundant
build (8.2.2, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L80
The import of ‘Data.Monoid’ is redundant
build (8.2.2, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (8.2.2, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (8.2.2, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (8.6.5, 3.0, test, -support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.6.5, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L57
A do-notation statement discarded a result of type
build (8.6.5, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L60
A do-notation statement discarded a result of type
build (8.6.5, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L61
This binding for ‘stdout’ shadows the existing binding
build (8.6.5, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L64
A do-notation statement discarded a result of type
build (8.6.5, 3.0, test, -support-lh): src/G2/Equiv/Config.hs#L14
The import of ‘Text.Read’ is redundant
build (8.6.5, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L80
The import of ‘Data.Monoid’ is redundant
build (8.6.5, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (8.6.5, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (8.6.5, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (8.6.5, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (9.2.4, 3.6, test-g2q, -support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Config/Config.hs#L26
The import of ‘Data.Monoid’ is redundant
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Config/Interface.hs#L6
The import of ‘Data.Monoid’ is redundant
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Data/UnionFind.hs#L27
The import of ‘Data.Semigroup’ is redundant
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Equiv/Config.hs#L11
The import of ‘Data.Monoid’ is redundant
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Equiv/Config.hs#L14
The import of ‘Text.Read’ is redundant
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L80
The import of ‘Data.Monoid’ is redundant
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (9.2.4, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (8.6.5, 3.0, test-g2q, -support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.6.5, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L57
A do-notation statement discarded a result of type
build (8.6.5, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L60
A do-notation statement discarded a result of type
build (8.6.5, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L61
This binding for ‘stdout’ shadows the existing binding
build (8.6.5, 3.0, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L64
A do-notation statement discarded a result of type
build (8.6.5, 3.0, test-g2q, -support-lh): src/G2/Equiv/Config.hs#L14
The import of ‘Text.Read’ is redundant
build (8.6.5, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L80
The import of ‘Data.Monoid’ is redundant
build (8.6.5, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (8.6.5, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (8.6.5, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (8.6.5, 3.0, test-g2q, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (9.0.2, 3.6, test-lh, support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.10.7, 3.6, test-lh, support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Config/Config.hs#L26
The import of ‘Data.Monoid’ is redundant
build (8.2.2, 3.0, test, -support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Config/Interface.hs#L6
The import of ‘Data.Monoid’ is redundant
build (8.2.2, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L57
A do-notation statement discarded a result of type
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Data/UnionFind.hs#L27
The import of ‘Data.Semigroup’ is redundant
build (8.2.2, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L60
A do-notation statement discarded a result of type
build (8.2.2, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L61
This binding for ‘stdout’ shadows the existing binding
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Equiv/Config.hs#L11
The import of ‘Data.Monoid’ is redundant
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Equiv/Config.hs#L14
The import of ‘Text.Read’ is redundant
build (8.2.2, 3.0, test, -support-lh): tests_nebula_plugin/Main.hs#L64
A do-notation statement discarded a result of type
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L80
The import of ‘Data.Monoid’ is redundant
build (8.2.2, 3.0, test, -support-lh): src/G2/Data/UnionFind.hs#L152
• No explicit implementation for
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (8.2.2, 3.0, test, -support-lh): src/G2/Equiv/Config.hs#L14
The import of ‘Text.Read’ is redundant
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (9.6.1, 3.10, test, -support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.2.2, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L80
The import of ‘Data.Monoid’ is redundant
build (8.10.7, 3.6, test-lh, support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (8.2.2, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (8.2.2, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (8.2.2, 3.0, test, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (9.0.2, 3.6, test-g2q, -support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (9.0.2, 3.6, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L57
A do-notation statement discarded a result of type
build (9.0.2, 3.6, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L60
A do-notation statement discarded a result of type
build (9.0.2, 3.6, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L61
This binding for ‘stdout’ shadows the existing binding
build (9.0.2, 3.6, test-g2q, -support-lh): tests_nebula_plugin/Main.hs#L64
A do-notation statement discarded a result of type
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Config/Config.hs#L26
The import of ‘Data.Monoid’ is redundant
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Config/Interface.hs#L6
The import of ‘Data.Monoid’ is redundant
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Data/UnionFind.hs#L27
The import of ‘Data.Semigroup’ is redundant
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Equiv/Config.hs#L11
The import of ‘Data.Monoid’ is redundant
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Equiv/Config.hs#L14
The import of ‘Text.Read’ is redundant
build (9.0.2, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L80
The import of ‘Data.Monoid’ is redundant
build (9.2.4, 3.6, test, -support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (9.2.4, 3.6, test, -support-lh): src/G2/Config/Config.hs#L26
The import of ‘Data.Monoid’ is redundant
build (9.2.4, 3.6, test, -support-lh): src/G2/Config/Interface.hs#L6
The import of ‘Data.Monoid’ is redundant
build (9.2.4, 3.6, test, -support-lh): src/G2/Data/UnionFind.hs#L27
The import of ‘Data.Semigroup’ is redundant
build (9.2.4, 3.6, test, -support-lh): src/G2/Equiv/Config.hs#L11
The import of ‘Data.Monoid’ is redundant
build (9.2.4, 3.6, test, -support-lh): src/G2/Equiv/Config.hs#L14
The import of ‘Text.Read’ is redundant
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L80
The import of ‘Data.Monoid’ is redundant
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (9.2.4, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
build (9.0.2, 3.6, test, -support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (9.0.2, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L57
A do-notation statement discarded a result of type
build (9.0.2, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L60
A do-notation statement discarded a result of type
build (9.0.2, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L61
This binding for ‘stdout’ shadows the existing binding
build (9.0.2, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L64
A do-notation statement discarded a result of type
build (9.0.2, 3.6, test, -support-lh): src/G2/Config/Config.hs#L26
The import of ‘Data.Monoid’ is redundant
build (9.0.2, 3.6, test, -support-lh): src/G2/Config/Interface.hs#L6
The import of ‘Data.Monoid’ is redundant
build (9.0.2, 3.6, test, -support-lh): src/G2/Data/UnionFind.hs#L27
The import of ‘Data.Semigroup’ is redundant
build (9.6.1, 3.10, test-g2q, -support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (9.0.2, 3.6, test, -support-lh): src/G2/Equiv/Config.hs#L11
The import of ‘Data.Monoid’ is redundant
build (9.0.2, 3.6, test, -support-lh): src/G2/Equiv/Config.hs#L14
The import of ‘Text.Read’ is redundant
build (9.0.2, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L80
The import of ‘Data.Monoid’ is redundant
build (9.4.4, 3.6, test, -support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (9.4.4, 3.6, test, -support-lh): src/G2/Equiv/Uninterpreted.hs#L13
The qualified import of ‘G2.Language.TypeEnv’ is redundant
build (9.4.4, 3.6, test, -support-lh): src/G2/Equiv/Uninterpreted.hs#L86
Pattern match(es) are non-exhaustive
build (9.4.4, 3.6, test, -support-lh): src/G2/Equiv/Uninterpreted.hs#L88
Pattern match(es) are non-exhaustive
build (9.4.4, 3.6, test, -support-lh): src/G2/Equiv/Uninterpreted.hs#L89
• Fields of ‘DataTyCon’ not initialised:
build (9.4.4, 3.6, test, -support-lh): src/G2/Solver/SMT2.hs#L31
The import of ‘Data.Semigroup’ is redundant
build (9.4.4, 3.6, test, -support-lh): src/G2/Execution/Rules.hs#L32
The qualified import of ‘G2.Language.TypeEnv’ is redundant
build (9.4.4, 3.6, test, -support-lh): src/G2/Execution/Rules.hs#L102
Pattern match is redundant
build (9.4.4, 3.6, test, -support-lh): src/G2/Execution/Rules.hs#L184
Defined but not used: ‘findSym’
build (9.4.4, 3.6, test, -support-lh): src/G2/Execution/Rules.hs#L1030
Pattern match(es) are non-exhaustive
build (9.4.4, 3.6, test, -support-lh): src/G2/Execution/Rules.hs#L1055
Pattern match(es) are non-exhaustive
build (8.10.7, 3.6, test, -support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (8.10.7, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L57
A do-notation statement discarded a result of type
build (8.10.7, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L60
A do-notation statement discarded a result of type
build (8.10.7, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L61
This binding for ‘stdout’ shadows the existing binding
build (8.10.7, 3.6, test, -support-lh): tests_nebula_plugin/Main.hs#L64
A do-notation statement discarded a result of type
build (8.10.7, 3.6, test, -support-lh): src/G2/Config/Config.hs#L26
The import of ‘Data.Monoid’ is redundant
build (8.10.7, 3.6, test, -support-lh): src/G2/Config/Interface.hs#L6
The import of ‘Data.Monoid’ is redundant
build (8.10.7, 3.6, test, -support-lh): src/G2/Data/UnionFind.hs#L27
The import of ‘Data.Semigroup’ is redundant
build (8.10.7, 3.6, test, -support-lh): src/G2/Equiv/Config.hs#L11
The import of ‘Data.Monoid’ is redundant
build (8.10.7, 3.6, test, -support-lh): src/G2/Equiv/Config.hs#L14
The import of ‘Text.Read’ is redundant
build (8.10.7, 3.6, test, -support-lh): src/G2/Language/Typing.hs#L80
The import of ‘Data.Monoid’ is redundant
build (9.4.4, 3.6, test-g2q, -support-lh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, pavpanchekha/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/