Build cedar-spec

Disallow leading zeros in the prefix #344

Sign in to view logs

Triggered via pull request October 27, 2023 03:46

opened #139

fix/shaobo/ipaddr

Status Success

Total duration 17m 52s

Artifacts –

ci.yml

on: pull_request

Matrix: Build and Test Dafny

Matrix: Build and Test DRT