Skip to content
curve25519 Rust

Claude removes some assumes #440

Sign in to view logs

Claude removes some assumes

Claude removes some assumes #440

Triggered via push August 11, 2025 12:30
@TheodoreEhrenborgTheodoreEhrenborg
pushed 1cc1685
prove_sub3
Status Failure
Total duration 2m 10s
Artifacts –

curve25519-dalek.yml

on: push
Test Build Script
2m 7s
Test Build Script
Test simd backend (nightly)
1m 10s
Test simd backend (nightly)
Test simd backend (stable)
1m 7s
Test simd backend (stable)
Current MSRV is 1.85.0
36s
Current MSRV is 1.85.0
Run `cargo verify verus`
1m 2s
Run `cargo verify verus`
Matrix: Test fiat backend
Matrix: Test serial backend
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Current MSRV is 1.85.0
Process completed with exit code 101.
Run `cargo verify verus`
Process completed with exit code 101.