Skip to content
SpecCursor Qualification & Optimization Suite

feat/initial commit #2

Sign in to view logs

feat/initial commit

feat/initial commit #2

Triggered via push July 30, 2025 00:11
@frawarefraware
pushed a3ff577
main
Status Failure
Total duration 22s
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
0s
Stage 11 - Cost & Latency Budgets
Stage 12 - Deployment Drill
0s
Stage 12 - Deployment Drill
Qualification Gate
6s
Qualification Gate
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Stage 1 - Static Analysis (ubuntu-22.04, 18, nightly, 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)
The strategy configuration was canceled because "static-analysis.ubuntu-22_04_18_nightly_1" failed
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_nightly_1" failed
Stage 1 - Static Analysis (ubuntu-22.04, 18, 1.78, 1.22, 3.12, 4.20.0)
The strategy configuration was canceled because "static-analysis.ubuntu-22_04_18_nightly_1" 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