Skip to content
Build cedar-spec

cedar-spec changes for arithmetic overflow validation #331

Sign in to view logs

cedar-spec changes for arithmetic overflow validation

cedar-spec changes for arithmetic overflow validation #331

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

ci.yml

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