Build cedar-spec

Bump Dafny version to 4.3.0 #322

Sign in to view logs

Triggered via pull request October 3, 2023 05:06

opened #130

chore/shaobo/dafny-4.3.0

Status Success

Total duration 20m 16s

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