Skip to content
Security Pipeline

Code quality, backup, external APIs, and cross-chain improvements #187

Sign in to view logs

Code quality, backup, external APIs, and cross-chain improvements

Code quality, backup, external APIs, and cross-chain improvements #187

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Dependency & Container Scan
10s
Automated Security Pipeline
22m 23s
Regression Testing
10m 28s
Formal Verification (Kani)
1m 30s
34m 31s