Skip to content
Test

HOTFIX abort rewrite when SMT solver times out #6910

Sign in to view logs

HOTFIX abort rewrite when SMT solver times out

HOTFIX abort rewrite when SMT solver times out #6910

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Formatting and Style
1m 15s
Formatting and Style
1m 15s
Stack / Unit Tests
26m 1s
Stack / Unit Tests
26m 1s
HLint
1m 36s
HLint
1m 36s
Nix / Integration
36m 24s
Nix / Integration
36m 24s
Nix / Unit Tests (ubuntu-22.04, ubuntu-22.04, x86_64-linux)
22m 57s
Nix / Unit Tests (ubuntu-22.04, ubuntu-22.04, x86_64-linux)
13m 19s
Nix / Unit Tests (MacM1, self-macos-12, aarch64-darwin)
13m 25s
Nix / Unit Tests (MacM1, self-macos-12, aarch64-darwin)
13m 25s
3h 13m 38s