Skip to content
Build cedar-spec

update for RFC 34 (cedar#430) #393

Sign in to view logs

update for RFC 34 (cedar#430)

update for RFC 34 (cedar#430) #393

Triggered via pull request November 16, 2023 21:34
@cdisselkoencdisselkoen
synchronize #156
update/cdisselkoen/430
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