Updating the nebula scripts by including the scripts to Download Hack… · BillHallahan/G2@e2c2635

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/

Install dependencies: src/G2/Config/Config.hs#L26

The import of ‘Data.Monoid’ is redundant

Install dependencies: src/G2/Config/Interface.hs#L6

The import of ‘Data.Monoid’ is redundant

Install dependencies: tests_nebula_plugin/Main.hs#L57

A do-notation statement discarded a result of type

Install dependencies: tests_nebula_plugin/Main.hs#L60

A do-notation statement discarded a result of type

Install dependencies: tests_nebula_plugin/Main.hs#L61

This binding for ‘stdout’ shadows the existing binding

Install dependencies: tests_nebula_plugin/Main.hs#L64

A do-notation statement discarded a result of type

Install dependencies: src/G2/Data/UnionFind.hs#L27

The import of ‘Data.Semigroup’ is redundant

Install dependencies: src/G2/Equiv/Config.hs#L11

The import of ‘Data.Monoid’ is redundant

Install dependencies: src/G2/Equiv/Config.hs#L14

The import of ‘Text.Read’ is redundant

Install dependencies: src/G2/Language/Typing.hs#L80

The import of ‘Data.Monoid’ is redundant

Run tests: tests/RewriteVerify/Correct/SimpleCorrect.hs#L26

Rule "addOneCommutative" may never fire

Run tests: tests/RewriteVerify/Correct/SimpleCorrect.hs#L27

Rule "doubleNegative" may never fire

Run tests: tests/RewriteVerify/Correct/SimpleCorrect.hs#L27

Rule "doubleNegative" may never fire

Run tests: tests/RewriteVerify/Correct/SimpleCorrect.hs#L28

Rule "maybeForceZero" may never fire

Run tests: tests/RewriteVerify/Correct/SimpleCorrect.hs#L29

Rule "maxWithSelf" may never fire

Run tests: tests/RewriteVerify/Correct/SimpleCorrect.hs#L30

Rule "addOneJust" may never fire

Run tests: tests/RewriteVerify/Correct/SimpleCorrect.hs#L30

Rule "addOneJust" may never fire because ‘just’ might inline first

Run tests: tests/RewriteVerify/Correct/SimpleCorrect.hs#L31

Rule "justJust" may never fire because ‘just’ might inline first

Run tests: tests/RewriteVerify/Correct/SimpleCorrect.hs#L32

Rule "plusDouble" may never fire because ‘t2’ might inline first

Run tests: tests/RewriteVerify/Correct/SimpleCorrect.hs#L33

Rule "polymorphism" may never fire because ‘nop’ might inline first

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Updating the nebula scripts by including the scripts to Download Hack… #967

build (9.2.4, 3.6, test, -support-lh)

Updating the nebula scripts by including the scripts to Download Hack… #967

Jobs

Run details

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...