CI

Contract-based proofs of poly.c scalar_[de]compress_q* (#61) #97

Sign in to view logs

Triggered via push June 16, 2024 05:03

main

Status Success

Total duration 2m 37s

Billable time 1m

Artifacts –

ci.yml

on: push

Matrix: build_kat

Matrix: cbmc

Matrix: lint