Build cedar-spec

Change log to log ESTs #376

Sign in to view logs

Triggered via pull request November 13, 2023 17:54

aaronjeline

opened #151

features/aaronjeline/ests

Status Failure

Total duration 10m 36s

Artifacts –

ci.yml

on: pull_request

Matrix: Build and Test Dafny

Matrix: Build and Test DRT

Matrix: Build cedar-lean

Annotations

1 error

Build and Test DRT (stable)

Process completed with exit code 1.