Skip to content
Build cedar-spec

update for cedar#413 #375

Sign in to view logs

update for cedar#413

update for cedar#413 #375

Triggered via pull request November 9, 2023 20:41
@cdisselkoencdisselkoen
opened #150
update-for-cedar#413
Status Success
Total duration 17m 6s
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