CI

Introduce common coeff_signed_to_unsigned function in poly.c #57

Sign in to view logs

Re-run triggered June 13, 2024 02:50

cothan

#53

rod-chapman:poly_compress_contracts

Status Failure

Total duration 5m 11s

Billable time 3m

Artifacts –

ci.yml

on: pull_request

Matrix: build_kat

Matrix: cbmc

Matrix: lint

Annotations

1 error

cbmc (macos-latest)

Process completed with exit code 1.