Skip to content

Enable pre-kompilation of K definitions and specs #5901

Enable pre-kompilation of K definitions and specs

Enable pre-kompilation of K definitions and specs #5901

Triggered via pull request May 8, 2024 15:07
Status Cancelled
Total duration 1m 47s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test.yml

on: pull_request
Formatting and Style
1m 8s
Formatting and Style
Nix / Integration
7s
Nix / Integration
Stack / Unit Tests
2s
Stack / Unit Tests
HLint
0s
HLint
Matrix: Nix / Unit Tests
Fit to window
Zoom out
Zoom in

Annotations

11 errors
Stack / Unit Tests
Canceling since a higher priority waiting request for 'Test-georgy/improve-performance-tests-kevm' exists
Stack / Unit Tests
A task was canceled.
Nix / Unit Tests (ubuntu-22.04, ubuntu-22.04, x86_64-linux)
Canceling since a higher priority waiting request for 'Test-georgy/improve-performance-tests-kevm' exists
Nix / Unit Tests (ubuntu-22.04, ubuntu-22.04, x86_64-linux)
A task was canceled.
Nix / Unit Tests (MacM1, self-macos-12, aarch64-darwin)
Canceling since a higher priority waiting request for 'Test-georgy/improve-performance-tests-kevm' exists
Nix / Unit Tests (MacM1, self-macos-12, aarch64-darwin)
The operation was canceled.
Nix / Integration
Canceling since a higher priority waiting request for 'Test-georgy/improve-performance-tests-kevm' exists
Nix / Unit Tests (macos-12, macos-12, x86_64-darwin)
Canceling since a higher priority waiting request for 'Test-georgy/improve-performance-tests-kevm' exists
Nix / Unit Tests (macos-12, macos-12, x86_64-darwin)
A task was canceled.
HLint
Canceling since a higher priority waiting request for 'Test-georgy/improve-performance-tests-kevm' exists
HLint
A task was canceled.