Build cedar-spec

update for cedar#450 #394

Sign in to view logs

Triggered via pull request November 17, 2023 18:33

cdisselkoen

opened #157

update-for-cedar-450

Status Failure

Total duration 11m 11s

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 101.