Skip to content
Build cedar-spec

cedar-spec changes for arithmetic overflow validation #332

Sign in to view logs

cedar-spec changes for arithmetic overflow validation

cedar-spec changes for arithmetic overflow validation #332

Triggered via pull request October 17, 2023 17:10
@john-h-kastner-awsjohn-h-kastner-aws
synchronize #30
feature/mattmccutchen-amazon/overflow-validation
Status Success
Total duration 17m 10s
Artifacts –

ci.yml

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