Skip to content
Kani

attempt 1 #1

Sign in to view logs

attempt 1

attempt 1 #1

Triggered via push February 20, 2025 19:45
@carolynzechcarolynzech
pushed a1fcaed
sync-2025-02-10
Status Failure
Total duration 22s
Artifacts –

kani.yml

on: push
Kani List
3s
Kani List
Matrix: check-kani-on-std
Fit to window
Zoom out
Zoom in

Annotations

18 errors and 9 warnings
Verify std library (partition 2)
No url found for submodule path 'library/library/backtrace' in .gitmodules
Verify std library (partition 2)
The process '/usr/bin/git' failed with exit code 128
Kani List
No url found for submodule path 'library/library/backtrace' in .gitmodules
Kani List
The process '/usr/bin/git' failed with exit code 128
Verify std library (partition 3)
No url found for submodule path 'library/library/backtrace' in .gitmodules
Verify std library (partition 3)
The process '/usr/bin/git' failed with exit code 128
Verify std library (partition 3)
No url found for submodule path 'library/library/backtrace' in .gitmodules
Verify std library (partition 3)
The process '/opt/homebrew/bin/git' failed with exit code 128
Verify std library (partition 4)
No url found for submodule path 'library/library/backtrace' in .gitmodules
Verify std library (partition 4)
The process '/opt/homebrew/bin/git' failed with exit code 128
Verify std library (partition 2)
No url found for submodule path 'library/library/backtrace' in .gitmodules
Verify std library (partition 2)
The process '/opt/homebrew/bin/git' failed with exit code 128
Verify std library (partition 1)
No url found for submodule path 'library/library/backtrace' in .gitmodules
Verify std library (partition 1)
The process '/opt/homebrew/bin/git' failed with exit code 128
Verify std library (partition 4)
No url found for submodule path 'library/library/backtrace' in .gitmodules
Verify std library (partition 4)
The process '/usr/bin/git' failed with exit code 128
Verify std library (partition 1)
No url found for submodule path 'library/library/backtrace' in .gitmodules
Verify std library (partition 1)
The process '/usr/bin/git' failed with exit code 128
Verify std library (partition 2)
The process '/usr/bin/git' failed with exit code 128
Kani List
The process '/usr/bin/git' failed with exit code 128
Verify std library (partition 3)
The process '/usr/bin/git' failed with exit code 128
Verify std library (partition 3)
The process '/opt/homebrew/bin/git' failed with exit code 128
Verify std library (partition 4)
The process '/opt/homebrew/bin/git' failed with exit code 128
Verify std library (partition 2)
The process '/opt/homebrew/bin/git' failed with exit code 128
Verify std library (partition 1)
The process '/opt/homebrew/bin/git' failed with exit code 128
Verify std library (partition 4)
The process '/usr/bin/git' failed with exit code 128
Verify std library (partition 1)
The process '/usr/bin/git' failed with exit code 128