Skip to content
Build cedar-spec

Add the is operator to Dafny #381

Sign in to view logs

Add the is operator to Dafny

Add the is operator to Dafny #381

Triggered via pull request November 15, 2023 18:05
@khietakhieta
opened #153
dafny-is-operator
Status Success
Total duration 11m 37s
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