Skip to content
Nebula Plugin

Reducer conc #554

Sign in to view logs

Reducer conc

Reducer conc #554

Triggered via pull request December 26, 2024 02:08
@QHWU1228QHWU1228
opened #257
reducer_conc
Status Success
Total duration 12m 53s
Artifacts –

plugin.yaml

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

Annotations

60 warnings
build (9.6.1, 3.10)
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down
build (9.2.4, 3.6)
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down
build (9.4.4, 3.6)
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down
build (9.0.2, 3.6)
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down
build (8.10.7, 3.6)
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down
build (9.2.4, 3.6)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (9.2.4, 3.6): src/G2/Language/Typing.hs#L82
The import of ‘Control.Monad’ is redundant
build (9.2.4, 3.6): src/G2/Language/Support.hs#L33
The qualified import of ‘Data.Map’ is redundant
build (9.2.4, 3.6): src/G2/Language/Expr.hs#L93
The import of ‘Data.Foldable’ is redundant
build (9.2.4, 3.6): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (9.2.4, 3.6): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (9.2.4, 3.6): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (9.2.4, 3.6): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (9.2.4, 3.6): src/G2/Language/ArbValueGen.hs#L108
Pattern match(es) are non-exhaustive
build (9.2.4, 3.6): src/G2/Language/ArbValueGen.hs#L158
Pattern match(es) are non-exhaustive
build (9.2.4, 3.6): src/G2/Initialization/MkCurrExpr.hs#L108
Pattern match(es) are non-exhaustive
build (9.6.1, 3.10): src/G2/Language/Typing.hs#L82
The import of ‘Control.Monad’ is redundant
build (9.6.1, 3.10): src/G2/Language/Support.hs#L33
The qualified import of ‘Data.Map’ is redundant
build (9.6.1, 3.10): src/G2/Language/Expr.hs#L93
The import of ‘Data.Foldable’ is redundant
build (9.6.1, 3.10): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (9.6.1, 3.10): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (9.6.1, 3.10): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (9.6.1, 3.10): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (9.6.1, 3.10): src/G2/Language/ArbValueGen.hs#L108
Pattern match(es) are non-exhaustive
build (9.6.1, 3.10): src/G2/Language/ArbValueGen.hs#L158
Pattern match(es) are non-exhaustive
build (9.6.1, 3.10): src/G2/Initialization/MkCurrExpr.hs#L108
Pattern match(es) are non-exhaustive
build (9.6.1, 3.10)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (9.4.4, 3.6)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (9.4.4, 3.6): src/G2/Language/Typing.hs#L82
The import of ‘Control.Monad’ is redundant
build (9.4.4, 3.6): src/G2/Language/Support.hs#L33
The qualified import of ‘Data.Map’ is redundant
build (9.4.4, 3.6): src/G2/Language/Expr.hs#L93
The import of ‘Data.Foldable’ is redundant
build (9.4.4, 3.6): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (9.4.4, 3.6): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (9.4.4, 3.6): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (9.4.4, 3.6): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (9.4.4, 3.6): src/G2/Language/ArbValueGen.hs#L108
Pattern match(es) are non-exhaustive
build (9.4.4, 3.6): src/G2/Language/ArbValueGen.hs#L158
Pattern match(es) are non-exhaustive
build (9.4.4, 3.6): src/G2/Initialization/MkCurrExpr.hs#L108
Pattern match(es) are non-exhaustive
build (9.0.2, 3.6)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (9.0.2, 3.6): src/G2/Language/Typing.hs#L82
The import of ‘Control.Monad’ is redundant
build (9.0.2, 3.6): src/G2/Language/Support.hs#L33
The qualified import of ‘Data.Map’ is redundant
build (9.0.2, 3.6): src/G2/Language/Expr.hs#L93
The import of ‘Data.Foldable’ is redundant
build (9.0.2, 3.6): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (9.0.2, 3.6): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (9.0.2, 3.6): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (9.0.2, 3.6): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (9.0.2, 3.6): src/G2/Initialization/Interface.hs#L5
The import of ‘G2.Language.Support’ is redundant
build (9.0.2, 3.6): src/G2/Initialization/Interface.hs#L29
Defined but not used: ‘ts’
build (9.0.2, 3.6): src/G2/Initialization/Interface.hs#L31
Defined but not used: ‘eenv3’
build (8.10.7, 3.6): src/G2/Language/Typing.hs#L82
The import of ‘Control.Monad’ is redundant
build (8.10.7, 3.6): src/G2/Language/Support.hs#L33
The qualified import of ‘Data.Map’ is redundant
build (8.10.7, 3.6): src/G2/Language/Expr.hs#L93
The import of ‘Data.Foldable’ is redundant
build (8.10.7, 3.6): src/G2/Language/Simplification.hs#L73
Defined but not used: ‘caseOfKnownCons’
build (8.10.7, 3.6): src/G2/Language/Simplification.hs#L86
Defined but not used: ‘l’
build (8.10.7, 3.6): src/G2/Language/Simplification.hs#L92
Defined but not used: ‘matchingDataAlt’
build (8.10.7, 3.6): src/G2/Language/Simplification.hs#L96
Defined but not used: ‘matchingLitAlt’
build (8.10.7, 3.6): src/G2/Initialization/Interface.hs#L5
The import of ‘G2.Language.Support’ is redundant
build (8.10.7, 3.6): src/G2/Initialization/Interface.hs#L29
Defined but not used: ‘ts’
build (8.10.7, 3.6): src/G2/Initialization/Interface.hs#L31
Defined but not used: ‘eenv3’
build (8.10.7, 3.6)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).