Build

Adds GHC 9.10 #53

Sign in to view logs

Triggered via pull request May 17, 2024 11:52

konn

synchronize #11

konn/ghc-9.10

Status Success

Total duration 2m 58s

Artifacts –

haskell.yaml

on: pull_request

Generate Build Matrix Dynamically

Matrix: Build

Annotations

32 warnings

Build (9.10.1, ci-configs/ghc-9.10.1.config)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build (9.10.1, ci-configs/ghc-9.10.1.config)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2. 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.10.1, ci-configs/ghc-9.10.1.config): Proof/Propositional/TH.hs#L47

Pattern match(es) are non-exhaustive

Build (9.10.1, ci-configs/ghc-9.10.1.config): Proof/Propositional/TH.hs#L59

Pattern match(es) are non-exhaustive

Build (9.10.1, ci-configs/ghc-9.10.1.config): Proof/Propositional/TH.hs#L77

Pattern match(es) are non-exhaustive

Build (9.10.1, ci-configs/ghc-9.10.1.config): Proof/Propositional/TH.hs#L92

Pattern match(es) are non-exhaustive

Build (9.8.2, ci-configs/ghc-9.8.2.config)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build (9.8.2, ci-configs/ghc-9.8.2.config)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2. 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.8.2, ci-configs/ghc-9.8.2.config): Proof/Propositional/TH.hs#L47

Pattern match(es) are non-exhaustive

Build (9.8.2, ci-configs/ghc-9.8.2.config): Proof/Propositional/TH.hs#L59

Pattern match(es) are non-exhaustive

Build (9.8.2, ci-configs/ghc-9.8.2.config): Proof/Propositional/TH.hs#L77

Pattern match(es) are non-exhaustive

Build (9.8.2, ci-configs/ghc-9.8.2.config): Proof/Propositional/TH.hs#L92

Pattern match(es) are non-exhaustive

Build (9.0.2, ci-configs/ghc-9.0.2.config)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build (9.0.2, ci-configs/ghc-9.0.2.config)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2. 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.8, ci-configs/ghc-9.2.8.config)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build (9.2.8, ci-configs/ghc-9.2.8.config)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2. 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.8, ci-configs/ghc-9.2.8.config): Proof/Propositional/TH.hs#L47

Pattern match(es) are non-exhaustive

Build (9.2.8, ci-configs/ghc-9.2.8.config): Proof/Propositional/TH.hs#L59

Pattern match(es) are non-exhaustive

Build (9.2.8, ci-configs/ghc-9.2.8.config): Proof/Propositional/TH.hs#L77

Pattern match(es) are non-exhaustive

Build (9.2.8, ci-configs/ghc-9.2.8.config): Proof/Propositional/TH.hs#L92

Pattern match(es) are non-exhaustive

Build (9.4.8, ci-configs/ghc-9.4.8.config)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build (9.4.8, ci-configs/ghc-9.4.8.config)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2. 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.8, ci-configs/ghc-9.4.8.config): Proof/Propositional/TH.hs#L47

Pattern match(es) are non-exhaustive

Build (9.4.8, ci-configs/ghc-9.4.8.config): Proof/Propositional/TH.hs#L59

Pattern match(es) are non-exhaustive

Build (9.4.8, ci-configs/ghc-9.4.8.config): Proof/Propositional/TH.hs#L77

Pattern match(es) are non-exhaustive

Build (9.4.8, ci-configs/ghc-9.4.8.config): Proof/Propositional/TH.hs#L92

Pattern match(es) are non-exhaustive

Build (9.6.5, ci-configs/ghc-9.6.5.config)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build (9.6.5, ci-configs/ghc-9.6.5.config)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2. 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.6.5, ci-configs/ghc-9.6.5.config): Proof/Propositional/TH.hs#L47

Pattern match(es) are non-exhaustive

Build (9.6.5, ci-configs/ghc-9.6.5.config): Proof/Propositional/TH.hs#L59

Pattern match(es) are non-exhaustive

Build (9.6.5, ci-configs/ghc-9.6.5.config): Proof/Propositional/TH.hs#L77

Pattern match(es) are non-exhaustive

Build (9.6.5, ci-configs/ghc-9.6.5.config): Proof/Propositional/TH.hs#L92

Pattern match(es) are non-exhaustive