Skip to content
Build cedar-spec

Revert "Simplified type-directed expression generation (#131)" #365

Sign in to view logs

Revert "Simplified type-directed expression generation (#131)"

Revert "Simplified type-directed expression generation (#131)" #365

Triggered via pull request November 2, 2023 18:15
@shaobo-he-awsshaobo-he-aws
opened #146
shaobo/revert-generator
Status Success
Total duration 20m 40s
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