Skip to content
Build cedar-spec

Add the is operator to Dafny #384

Sign in to view logs

Add the is operator to Dafny

Add the is operator to Dafny #384

Triggered via pull request November 15, 2023 22:42
@khietakhieta
synchronize #153
dafny-is-operator
Status Success
Total duration 11m 20s
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