crux-mir

Support GHC 9.10, drop 9.4 #2471

Sign in to view logs

Triggered via pull request February 13, 2025 20:11

langston-barrett

synchronize #1310

lb/ghc-9.10

Status Cancelled

Total duration 2m 13s

Artifacts –

crux-mir-build.yml

on: pull_request

Matrix: build-push-image

Matrix: build

Annotations

9 errors and 10 warnings

crux-mir - GHC v9.4.8 - macos-14

The run was canceled by @langston-barrett.

crux-mir - GHC v9.4.8 - ubuntu-20.04

The run was canceled by @langston-barrett.

crux-mir - GHC v9.4.8 - ubuntu-20.04

The operation was canceled.

crux-mir - GHC v9.6.5 - ubuntu-22.04

The run was canceled by @langston-barrett.

crux-mir - GHC v9.6.5 - ubuntu-22.04

The operation was canceled.

crux-mir - GHC v9.4.8 - ubuntu-22.04

The run was canceled by @langston-barrett.

crux-mir - GHC v9.4.8 - ubuntu-22.04

The operation was canceled.

crux-mir - GHC v9.8.2 - ubuntu-22.04

The run was canceled by @langston-barrett.

crux-mir - GHC v9.8.2 - ubuntu-22.04

The operation was canceled.

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/

crux-mir - GHC v9.6.5 - ubuntu-22.04

Cache save failed.

crux-mir - GHC v9.4.8 - ubuntu-22.04

Cache save failed.

crux-mir - GHC v9.8.2 - ubuntu-22.04

Cache save failed.