Port proofs for constant_time_ops.rs #869

Sign in to view logs

Triggered via pull request September 24, 2024 20:46

mamonet

synchronize #559

dev-constant-time

Status Cancelled

Total duration 2m 9s

Artifacts –

c.yml

on: pull_request

extract-header-only

Matrix: build

diff-header-only

Matrix: build-header-only

Annotations

2 errors

extract-header-only

Canceling since a higher priority waiting request for 'Build & Test C-refs/pull/559/merge' exists

Canceling since a higher priority waiting request for 'Build & Test C-refs/pull/559/merge' exists