buildx failed with: ERROR: failed to solve: process "/bin/sh -c cabal v2-update && cabal v2-build --only-dependencies crux-llvm && cabal v2-build crux-llvm && cabal v2-test crux-llvm && cp `cabal v2-exec which crux-llvm` /crux-llvm/rootfs/usr/local/bin && cp `cabal v2-exec which crux-llvm-svcomp` /crux-llvm/rootfs/usr/local/bin" did not complete successfully: exit code: 1

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

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/

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/

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 `save-state` 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 `save-state` 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 `save-state` 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 `save-state` 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 `save-state` 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/

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 `save-state` 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 `save-state` 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 `save-state` 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/

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/

The `save-state` 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 import of ‘Data.String’ is redundant

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

Defined but not used: ‘getSameCrucibleType’

Defined but not used: ‘getMapSameCrucibleType’

The import of ‘Data.String’ is redundant

Cache save failed.

The qualified import of ‘Data.BitVector.Sized’ is redundant

Cache save failed.

The import of ‘Data.String’ is redundant

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

Defined but not used: ‘getSameCrucibleType’

Defined but not used: ‘getMapSameCrucibleType’

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

Cache save failed.

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

The import of ‘Data.String’ is redundant

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

Defined but not used: ‘getSameCrucibleType’

Defined but not used: ‘getMapSameCrucibleType’

Cache save failed.

The import of ‘Data.String’ is redundant

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

Defined but not used: ‘getSameCrucibleType’

Defined but not used: ‘getMapSameCrucibleType’

The import of ‘Data.String’ is redundant

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

Defined but not used: ‘getSameCrucibleType’

Defined but not used: ‘getMapSameCrucibleType’

The import of ‘Data.String’ is redundant

Cache save failed.

The import of ‘Data.String’ is redundant

The import of ‘Data.String’ is redundant

In the use of ‘head’

In the use of ‘head’

The qualified import of ‘Data.BitVector.Sized’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

Defined but not used:

Defined but not used:

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

In the use of ‘head’

Defined but not used:

Defined but not used:

The import of ‘Data.String’ is redundant

Cache save failed.

The import of ‘Data.String’ is redundant

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

Defined but not used: ‘getSameCrucibleType’

Defined but not used: ‘getMapSameCrucibleType’

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

Defined but not used: ‘getSameCrucibleType’