Port proofs for constant_time_ops.rs · cryspen/libcrux@a1aebab

Triggered via pull request September 24, 2024 21:22

synchronize #559

dev-constant-time

Status Success

Total duration 21m 25s

Artifacts 2

c.yml

on: pull_request

Matrix: build

Matrix: build-header-only

Produced during runtime

Name	Size
c-extraction	208 KB
header-only-c-extraction	149 KB