Skip to content

Add 'kani verify-artifacts' subcommand - #4600

Open
lovesegfault wants to merge 3 commits into
model-checking:mainfrom
lovesegfault:verify-only
Open

Add 'kani verify-artifacts' subcommand#4600
lovesegfault wants to merge 3 commits into
model-checking:mainfrom
lovesegfault:verify-only

Add integration test for 'kani verify-artifacts'

fff5e10
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors

The logs for this run have expired and are no longer available.