Skip to content
SpecCursor Qualification & Optimization Suite

fix: resolve CI validation errors and dependencies #3

Sign in to view logs

fix: resolve CI validation errors and dependencies

fix: resolve CI validation errors and dependencies #3

Triggered via push July 30, 2025 07:50
@cursorcursor[bot]
pushed f198296
main
Status Failure
Total duration 25s
Artifacts –

qualify.yml

on: push
Matrix: Stage 1 - Static Analysis
Matrix: Stage 2 - Unit Tests
Matrix: Stage 3 - Property-Based Tests
Matrix: Stage 4 - Integration & E2E Tests
Matrix: Stage 5 - Load & Stress Tests
Matrix: Stage 6 - Chaos & Resilience Tests
Stage 7 - Security Scans
0s
Stage 7 - Security Scans
Stage 8 - Vulnerability & SBOM
0s
Stage 8 - Vulnerability & SBOM
Stage 9 - Observability Assertions
0s
Stage 9 - Observability Assertions
Stage 10 - Performance Profiling
0s
Stage 10 - Performance Profiling
Stage 11 - Cost & Latency Budgets
Stage 11 - Cost & Latency Budgets
Stage 12 - Deployment Drill
Stage 12 - Deployment Drill
Qualification Gate
7s
Qualification Gate
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Stage 1 - Static Analysis (ubuntu-22.04, 18, 1.78, 1.22, 3.12, 4.20.0)
Unable to resolve action `leanprover/lean4@v2`, unable to find version `v2`
Stage 1 - Static Analysis (ubuntu-22.04, 20, 1.78, 1.22, 3.12, 4.20.0)
Unable to resolve action `leanprover/lean4@v2`, unable to find version `v2`
Stage 1 - Static Analysis (ubuntu-22.04, 20, nightly, 1.22, 3.12, 4.20.0)
The strategy configuration was canceled because "static-analysis.ubuntu-22_04_18_1_78_1_22" failed
Stage 1 - Static Analysis (ubuntu-22.04, 18, nightly, 1.22, 3.12, 4.20.0)
The strategy configuration was canceled because "static-analysis.ubuntu-22_04_18_1_78_1_22" failed
Qualification Gate
Dependencies lock file is not found in /home/runner/work/specursor/specursor. Supported file patterns: package-lock.json,npm-shrinkwrap.json,yarn.lock