Test CBOR, CDDL, COSE

Upgrade to F* Universes #230

Sign in to view logs

Triggered via pull request February 28, 2026 16:19

tahina-pro

synchronize #244

_nik_smt_univs_2025

Status Success

Total duration 3m 42s

Artifacts –

cbor.yml

on: pull_request