Skip to content
Kani Action Check

Decouple kani version from kani-github-action version #136

Sign in to view logs

Decouple kani version from kani-github-action version

Decouple kani version from kani-github-action version #136

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Ensure that the Kani action continues to work
1m 40s
1m 40s