Skip to content
G2

CHC benchmarks #904

Sign in to view logs

CHC benchmarks

CHC benchmarks #904

Triggered via pull request June 29, 2023 22:25
@BillHallahanBillHallahan
opened #202
chc-benchmarks
Status Failure
Total duration 3m 21s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

haskell.yaml

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

Annotations

34 errors and 33 warnings
build (9.4.4, 3.6, test, -support-lh): tests/RewriteVerify/RewriteVerifyTest.hs#L53
Not in scope: ‘symbolic_unmapped’
build (9.4.4, 3.6, test, -support-lh)
Process completed with exit code 1.
build (9.4.4, 3.6, test-g2q, -support-lh)
The job was canceled because "_9_4_4_3_6_test_-support-lh" failed.
build (9.4.4, 3.6, test-g2q, -support-lh): tests/RewriteVerify/RewriteVerifyTest.hs#L53
Not in scope: ‘symbolic_unmapped’
build (9.4.4, 3.6, test-g2q, -support-lh)
Process completed with exit code 1.
build (9.6.1, 3.10, test-g2q, -support-lh)
The job was canceled because "_9_4_4_3_6_test_-support-lh" failed.
build (9.6.1, 3.10, test-g2q, -support-lh)
The operation was canceled.
build (9.0.2, 3.6, test-g2q, -support-lh)
The job was canceled because "_9_4_4_3_6_test_-support-lh" failed.
build (9.0.2, 3.6, test-g2q, -support-lh)
The operation was canceled.
build (9.6.1, 3.10, test, -support-lh)
The job was canceled because "_9_4_4_3_6_test_-support-lh" failed.
build (9.6.1, 3.10, test, -support-lh): tests/RewriteVerify/RewriteVerifyTest.hs#L53
Not in scope: ‘symbolic_unmapped’
build (9.6.1, 3.10, test, -support-lh)
The operation was canceled.
build (9.0.2, 3.6, test-lh, support-lh)
The job was canceled because "_9_4_4_3_6_test_-support-lh" failed.
build (9.0.2, 3.6, test-lh, support-lh)
The operation was canceled.
build (8.10.7, 3.6, test-lh, support-lh)
The job was canceled because "_9_4_4_3_6_test_-support-lh" failed.
build (8.10.7, 3.6, test-lh, support-lh)
The operation was canceled.
build (9.0.2, 3.6, test, -support-lh)
The job was canceled because "_9_4_4_3_6_test_-support-lh" failed.
build (9.0.2, 3.6, test, -support-lh)
The operation was canceled.
build (8.6.5, 3.0, test, -support-lh)
The job was canceled because "_9_4_4_3_6_test_-support-lh" failed.
build (8.6.5, 3.0, test, -support-lh)
The operation was canceled.
build (8.10.7, 3.6, test, -support-lh)
The job was canceled because "_9_4_4_3_6_test_-support-lh" failed.
build (8.10.7, 3.6, test, -support-lh)
The operation was canceled.
build (8.6.5, 3.0, test-g2q, -support-lh)
The job was canceled because "_9_4_4_3_6_test_-support-lh" failed.
build (8.6.5, 3.0, test-g2q, -support-lh)
The operation was canceled.
build (8.2.2, 3.0, test, -support-lh)
The job was canceled because "_9_4_4_3_6_test_-support-lh" failed.
build (8.2.2, 3.0, test, -support-lh)
The operation was canceled.
build (8.2.2, 3.0, test-g2q, -support-lh)
The job was canceled because "_9_4_4_3_6_test_-support-lh" failed.
build (9.2.4, 3.6, test, -support-lh)
The job was canceled because "_9_4_4_3_6_test_-support-lh" failed.
build (8.2.2, 3.0, test-g2q, -support-lh)
The operation was canceled.
build (9.2.4, 3.6, test, -support-lh)
The operation was canceled.
build (8.10.7, 3.6, test-g2q, -support-lh)
The job was canceled because "_9_4_4_3_6_test_-support-lh" failed.
build (8.10.7, 3.6, test-g2q, -support-lh)
The operation was canceled.
build (9.2.4, 3.6, test-g2q, -support-lh)
The job was canceled because "_9_4_4_3_6_test_-support-lh" failed.
build (9.2.4, 3.6, test-g2q, -support-lh)
The operation was canceled.
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 (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 (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 (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.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘u’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L257
Defined but not used: ‘b’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L260
Defined but not used: ‘t’
build (8.10.7, 3.6, test-g2q, -support-lh): src/G2/Language/Typing.hs#L261
Defined but not used: ‘t’
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