Skip to content

Merge pull request #365 from ethereum/rename-storage #1969

Merge pull request #365 from ethereum/rename-storage

Merge pull request #365 from ethereum/rename-storage #1969

Triggered via push August 29, 2023 08:30
Status Cancelled
Total duration 2m 27s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: push
build (windows-latest)
1m 53s
build (windows-latest)
cabal-check
2m 14s
cabal-check
Matrix: extra-tests
Matrix: nix-build
Fit to window
Zoom out
Zoom in

Annotations

12 errors
build (windows-latest)
Canceling since a higher priority waiting request for 'Build-refs/heads/main' exists
build (windows-latest)
The operation was canceled.
cabal-check
Canceling since a higher priority waiting request for 'Build-refs/heads/main' exists
cabal-check
The operation was canceled.
extra-tests (macos-latest)
Canceling since a higher priority waiting request for 'Build-refs/heads/main' exists
extra-tests (macos-latest)
The operation was canceled.
nix-build (macos-latest)
Canceling since a higher priority waiting request for 'Build-refs/heads/main' exists
nix-build (macos-latest)
The operation was canceled.
nix-build (ubuntu-latest)
Canceling since a higher priority waiting request for 'Build-refs/heads/main' exists
nix-build (ubuntu-latest)
The operation was canceled.
extra-tests (ubuntu-latest)
Canceling since a higher priority waiting request for 'Build-refs/heads/main' exists
extra-tests (ubuntu-latest)
The operation was canceled.