Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, fkirc/skip-duplicate-actions@v5.3.1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

In the use of ‘tail’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

In the use of ‘tail’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

The import of ‘GHC.Core.TyCo.Tidy’ is redundant

The record update def

The import of ‘nubOrd’ from module ‘Data.List.Extra’ is redundant

Defined but not used: ‘mod_cache’

The import of ‘GHC.Driver.Env’ is redundant

Pattern match(es) are non-exhaustive

The import of ‘GHC.Core.TyCo.Tidy’ is redundant

‘hugElts’ is exported by ‘hugElts’ and ‘module Development.IDE.GHC.Compat.Core’

‘tidyOpenType’ is exported by ‘tidyOpenType’ and ‘module Development.IDE.GHC.Compat.Core’

Module ‘GHC.Tc.Utils.Monad’ does not export ‘foldMapM’

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

In the use of ‘tail’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

The import of ‘GHC.Core.TyCo.Tidy’ is redundant

The record update def

The import of ‘nubOrd’ from module ‘Data.List.Extra’ is redundant

Defined but not used: ‘mod_cache’

The import of ‘GHC.Driver.Env’ is redundant

Pattern match(es) are non-exhaustive

The import of ‘GHC.Core.TyCo.Tidy’ is redundant

‘hugElts’ is exported by ‘hugElts’ and ‘module Development.IDE.GHC.Compat.Core’

‘tidyOpenType’ is exported by ‘tidyOpenType’ and ‘module Development.IDE.GHC.Compat.Core’

Module ‘GHC.Tc.Utils.Monad’ does not export ‘foldMapM’

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

In the use of ‘tail’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

In the use of ‘tail’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

In the use of ‘tail’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

In the use of ‘tail’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

In the use of ‘tail’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

In the use of ‘tail’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

The record update def

The import of ‘nubOrd’ from module ‘Data.List.Extra’ is redundant

Defined but not used: ‘mod_cache’

The import of ‘GHC.Driver.Env’ is redundant

Pattern match(es) are non-exhaustive

The import of ‘GHC.Core.TyCo.Tidy’ is redundant

‘hugElts’ is exported by ‘hugElts’ and ‘module Development.IDE.GHC.Compat.Core’

‘tidyOpenType’ is exported by ‘tidyOpenType’ and ‘module Development.IDE.GHC.Compat.Core’

Module ‘GHC.Tc.Utils.Monad’ does not export ‘foldMapM’

The import of ‘Control.Monad’ is redundant

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

In the use of ‘tail’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

In the use of ‘tail’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

In the use of ‘tail’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

In the use of ‘head’

In the use of ‘head’

In the use of ‘tail’

In the use of ‘head’

The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167

The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167

The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167

The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167