Build cedar-spec

bump versions to 3.0 #343

Sign in to view logs

Triggered via pull request October 26, 2023 13:53

khieta

synchronize #129

andrewmwells/v3.0

Status Success

Total duration 18m 0s

Artifacts –

ci.yml

on: pull_request

Matrix: Build and Test Dafny

Matrix: Build and Test DRT