Skip to content
Build cedar-spec

Simplified strict validation #287

Sign in to view logs

Simplified strict validation

Simplified strict validation #287

Triggered via pull request August 18, 2023 19:50
@john-h-kastner-awsjohn-h-kastner-aws
opened #111
feature/jkastner/simpl_strict_validation
Status Success
Total duration 15m 30s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

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