Skip to content
Security Pipeline

Security Pipeline #73

Sign in to view logs

Security Pipeline

Security Pipeline #73

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Automated Security Pipeline
9m 50s
Dependency & Container Scan
16s
Regression Testing
7m 35s
Formal Verification (Kani)
1m 31s
19m 12s