Skip to content

Match concrete size array #1405

Match concrete size array

Match concrete size array #1405

Triggered via pull request June 27, 2023 03:17
Status Success
Total duration 32m 6s
Artifacts

crux-mir-build.yml

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

Annotations

38 warnings
outputs
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/
crux-mir - GHC v9.4.4 - ubuntu-22.04
Defined but not used: ‘retrieveArg’
crux-mir - GHC v9.4.4 - ubuntu-22.04
Defined but not used: ‘signalCondVar’
crux-mir - GHC v9.4.4 - ubuntu-22.04
Defined but not used: ‘returnFinishedResult’
crux-mir - GHC v9.4.4 - ubuntu-22.04
Defined but not used: ‘getInternalGlobal’
crux-mir - GHC v9.4.4 - ubuntu-22.04
This binding for ‘cs’ shadows the existing binding
crux-mir - GHC v9.4.4 - ubuntu-22.04
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/
crux-mir - GHC v9.4.4 - ubuntu-22.04
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/
crux-mir - GHC v9.4.4 - ubuntu-22.04
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/
crux-mir - GHC v9.4.4 - ubuntu-22.04
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/
crux-mir - GHC v8.10.7 - ubuntu-22.04
This binding for ‘cs’ shadows the existing binding
crux-mir - GHC v8.10.7 - ubuntu-22.04
Defined but not used: ‘retrieveArg’
crux-mir - GHC v8.10.7 - ubuntu-22.04
Defined but not used: ‘signalCondVar’
crux-mir - GHC v8.10.7 - ubuntu-22.04
Defined but not used: ‘returnFinishedResult’
crux-mir - GHC v8.10.7 - ubuntu-22.04
Defined but not used: ‘getInternalGlobal’
crux-mir - GHC v8.10.7 - ubuntu-22.04
Defined but not used: ‘retrieveArg’
crux-mir - GHC v8.10.7 - ubuntu-22.04
Defined but not used: ‘signalCondVar’
crux-mir - GHC v8.10.7 - ubuntu-22.04
Defined but not used: ‘returnFinishedResult’
crux-mir - GHC v8.10.7 - ubuntu-22.04
Defined but not used: ‘getInternalGlobal’
crux-mir - GHC v8.10.7 - ubuntu-22.04
This binding for ‘cs’ shadows the existing binding
crux-mir - GHC v8.10.7 - ubuntu-22.04
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/
crux-mir - GHC v8.10.7 - ubuntu-22.04
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/
crux-mir - GHC v8.10.7 - ubuntu-22.04
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/
crux-mir - GHC v8.10.7 - ubuntu-22.04
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/
crux-mir - GHC v9.2.7 - ubuntu-22.04
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/
crux-mir - GHC v9.2.7 - ubuntu-22.04
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/
crux-mir - GHC v9.2.7 - ubuntu-22.04
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/
crux-mir - GHC v9.2.7 - ubuntu-22.04
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/
crux-mir - GHC v9.2.7 - ubuntu-22.04
Defined but not used: ‘retrieveArg’
crux-mir - GHC v9.2.7 - ubuntu-22.04
Defined but not used: ‘signalCondVar’
crux-mir - GHC v9.2.7 - ubuntu-22.04
Defined but not used: ‘returnFinishedResult’
crux-mir - GHC v9.2.7 - ubuntu-22.04
Defined but not used: ‘getInternalGlobal’
crux-mir - GHC v9.2.7 - ubuntu-22.04
Defined but not used: ‘retrieveArg’
crux-mir - GHC v9.2.7 - ubuntu-22.04
Defined but not used: ‘signalCondVar’
crux-mir - GHC v9.2.7 - ubuntu-22.04
Defined but not used: ‘returnFinishedResult’
crux-mir - GHC v9.2.7 - ubuntu-22.04
Defined but not used: ‘getInternalGlobal’
crux-mir - GHC v9.2.7 - ubuntu-22.04
This binding for ‘cs’ shadows the existing binding
crux-mir - GHC v9.2.7 - ubuntu-22.04
This binding for ‘cs’ shadows the existing binding