Skip to content
Build cedar-spec

Change log to log ESTs #377

Sign in to view logs

Change log to log ESTs

Change log to log ESTs #377

Triggered via pull request November 13, 2023 19:42
@aaronjelineaaronjeline
synchronize #151
features/aaronjeline/ests
Status Success
Total duration 11m 37s
Artifacts –

ci.yml

on: pull_request
Matrix: Build and Test Dafny
Matrix: Build and Test DRT
Matrix: Build cedar-lean
Fit to window
Zoom out
Zoom in