Skip to content

feat: improving structure #12

feat: improving structure

feat: improving structure #12

Triggered via push August 18, 2025 19:18
Status Failure
Total duration 52s
Artifacts
Performance Baseline
40s
Performance Baseline
Implement Performance Optimizations
0s
Implement Performance Optimizations
Performance Testing
0s
Performance Testing
Performance Summary
3s
Performance Summary
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
Performance Baseline
The process '/usr/bin/git' failed with exit code 128
Performance Baseline
Failed to recurse into submodule path 'external/provability-fabric'
Performance Baseline
No url found for submodule path 'external/provability-fabric/vendor/mathlib' in .gitmodules
Performance Baseline
The process '/usr/bin/git' failed with exit code 128