Skip to content

crux-mir

crux-mir #1420

Triggered via schedule July 7, 2023 10:01
Status Success
Total duration 32m 10s
Artifacts

crux-mir-build.yml

on: schedule
Matrix: build-push-image
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

73 warnings
config
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/
config
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/
config
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/
config
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/
config
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/
config
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/
config
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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/
build-push-image (.github/Dockerfile-crux-mir, ghcr.io/galoisinc/crux-mir, ghcr.io/galoisinc/cach...
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 v8.10.7 - ubuntu-22.04
Cache save failed.
crux-mir - GHC v9.4.4 - ubuntu-22.04
Defined but not used: ‘returnFinishedResult’
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 v9.4.4 - ubuntu-22.04
Defined but not used: ‘getInternalGlobal’
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 v9.4.4 - ubuntu-22.04
This binding for ‘cs’ shadows the existing binding
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 v9.4.4 - ubuntu-22.04
Cache save failed.
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
Defined but not used: ‘signalCondVar’
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
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
Cache save failed.
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