Build cedar-spec

Simplified type-directed expression generation #330

Sign in to view logs

Triggered via pull request October 5, 2023 21:48

opened #131

refactor/shaobo/expr-gen

Status Success

Total duration 16m 8s

Artifacts –

ci.yml

on: pull_request

Matrix: Build and Test Dafny

Matrix: Build and Test DRT