Skip to content

Actions: carolynzech/kani

Actions

Check Std Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verify-std-check.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

suppress unreachable code warning Check Std Verification #4: Pull request #41 opened by carolynzech
December 31, 2024 16:38 1h 1m 31s suppress-contract-warning
suppress-contract-warning
December 31, 2024 16:38 1h 1m 31s
Test gcd Check Std Verification #3: Pull request #40 opened by carolynzech
December 31, 2024 16:27 6m 38s test-gcd
test-gcd
December 31, 2024 16:27 6m 38s
Load reduction Check Std Verification #2: Pull request #39 synchronize by carolynzech
December 31, 2024 16:06 21m 59s load-reduction
load-reduction
December 31, 2024 16:06 21m 59s
Load reduction Check Std Verification #1: Pull request #39 opened by carolynzech
December 31, 2024 16:05 6m 45s load-reduction
load-reduction
December 31, 2024 16:05 6m 45s