The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "crux-mir-macos-14-9.2.8", "crux-mir-ubuntu-20.04-9.2.8", "crux-mir-ubuntu-22.04-9.2.8", "crux-mir-ubuntu-22.04-9.4.5", "crux-mir-ubuntu-22.04-9.6.2". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, cachix/install-nix-action@v16, actions-rs/toolchain@v1, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2, cachix/install-nix-action@v16, actions-rs/toolchain@v1, actions/cache/restore@v3, actions/upload-artifact@v2, actions/cache/save@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The import of ‘Data.String’ is redundant

Defined but not used: ‘ty’

Defined but not used: ‘retrieveArg’

Defined but not used: ‘signalCondVar’

Defined but not used: ‘returnFinishedResult’

Defined but not used: ‘getInternalGlobal’

This binding for ‘sym’ shadows the existing binding

This binding for ‘tp’ shadows the existing binding

This binding for ‘tp'’ shadows the existing binding

This binding for ‘rp’ shadows the existing binding

The import of ‘Data.String’ is redundant

The import of ‘Data.String’ is redundant

Defined but not used: ‘ty’

Defined but not used: ‘retrieveArg’

Defined but not used: ‘signalCondVar’

Defined but not used: ‘returnFinishedResult’

Defined but not used: ‘getInternalGlobal’

Defined but not used: ‘retrieveArg’

Defined but not used: ‘signalCondVar’

Defined but not used: ‘returnFinishedResult’

Defined but not used: ‘ty’

This binding for ‘sym’ shadows the existing binding

This binding for ‘tp’ shadows the existing binding

This binding for ‘tp'’ shadows the existing binding

This binding for ‘rp’ shadows the existing binding

This binding for ‘rp’ shadows the existing binding

This binding for ‘rp’ shadows the existing binding

This binding for ‘rp’ shadows the existing binding

This binding for ‘rp’ shadows the existing binding

This binding for ‘rp’ shadows the existing binding

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/