Make booster default in Foundry proofs #6123
test-pr.yml
on: pull_request
Version Bump
7s
Unit Tests
8s
Profiling
7s
Build and Test KEVM concrete execution
7s
Build and Test KEVM haskell proofs
7s
Build and Test KEVM haskell proofs (booster)
8s
Build and Test KEVM Foundry proofs
9s
Build and Test KEVM Foundry proofs (booster)
6s
Build Ubuntu Jammy DockerHub Image
6s
Matrix: Nix
Annotations
29 errors and 13 warnings
Build and Test KEVM Foundry proofs (booster)
No url found for submodule path 'deps/k' in .gitmodules
|
Build and Test KEVM Foundry proofs (booster)
The process '/usr/bin/git' failed with exit code 128
|
Build and Test KEVM Foundry proofs (booster)
Process completed with exit code 1.
|
Profiling
Process completed with exit code 1.
|
Profiling
No url found for submodule path 'deps/k' in .gitmodules
|
Profiling
The process '/usr/bin/git' failed with exit code 128
|
Build Ubuntu Jammy DockerHub Image
No url found for submodule path 'deps/k' in .gitmodules
|
Build Ubuntu Jammy DockerHub Image
The process '/usr/bin/git' failed with exit code 128
|
Build Ubuntu Jammy DockerHub Image
Process completed with exit code 1.
|
Build and Test KEVM haskell proofs
No url found for submodule path 'deps/k' in .gitmodules
|
Build and Test KEVM haskell proofs
The process '/usr/bin/git' failed with exit code 128
|
Build and Test KEVM haskell proofs
Process completed with exit code 1.
|
Build and Test KEVM concrete execution
No url found for submodule path 'deps/k' in .gitmodules
|
Build and Test KEVM concrete execution
The process '/usr/bin/git' failed with exit code 128
|
Build and Test KEVM concrete execution
Process completed with exit code 1.
|
Build and Test KEVM haskell proofs (booster)
No url found for submodule path 'deps/k' in .gitmodules
|
Build and Test KEVM haskell proofs (booster)
The process '/usr/bin/git' failed with exit code 128
|
Build and Test KEVM haskell proofs (booster)
Process completed with exit code 1.
|
Build and Test KEVM Foundry proofs
Process completed with exit code 1.
|
Build and Test KEVM Foundry proofs
No url found for submodule path 'deps/k' in .gitmodules
|
Build and Test KEVM Foundry proofs
The process '/usr/bin/git' failed with exit code 128
|
Unit Tests
No url found for submodule path 'deps/k' in .gitmodules
|
Unit Tests
The process '/usr/bin/git' failed with exit code 128
|
Nix (normal)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2044/merge' exists
|
Nix (normal)
The operation was canceled.
|
Nix (ARM64)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2044/merge' exists
|
Nix (ARM64)
The operation was canceled.
|
Nix (macos-13)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2044/merge' exists
|
Nix (macos-13)
The operation was canceled.
|
Version Bump
The process '/usr/bin/git' failed with exit code 128
|
Code Quality Checks
The process '/usr/bin/git' failed with exit code 128
|
Build and Test KEVM Foundry proofs (booster)
The process '/usr/bin/git' failed with exit code 128
|
Profiling
The process '/usr/bin/git' failed with exit code 128
|
Build Ubuntu Jammy DockerHub Image
The process '/usr/bin/git' failed with exit code 128
|
Build and Test KEVM haskell proofs
The process '/usr/bin/git' failed with exit code 128
|
Build and Test KEVM concrete execution
The process '/usr/bin/git' failed with exit code 128
|
Build and Test KEVM haskell proofs (booster)
The process '/usr/bin/git' failed with exit code 128
|
Build and Test KEVM Foundry proofs
The process '/usr/bin/git' failed with exit code 128
|
Unit Tests
The process '/usr/bin/git' failed with exit code 128
|
Nix (normal)
The process '/usr/bin/git' failed with exit code 128
|
Nix (ARM64)
The process '/usr/bin/git' failed with exit code 128
|
Nix (macos-13)
The process '/usr/local/bin/git' failed with exit code 128
|