Skip to content

Merge branch 'main' into add-rewards #1

Merge branch 'main' into add-rewards

Merge branch 'main' into add-rewards #1

Triggered via push October 8, 2025 15:36
Status Success
Total duration 7m 40s
Artifacts
Test testable simd models
7m 34s
Test testable simd models
Fit to window
Zoom out
Zoom in

Annotations

1 error
Test testable simd models
unable to access 'https://github.com/tautschnig/verify-rust-std/': Failed to connect to github.com port 443 after 132625 ms: Couldn't connect to server