Skip to content
Build cedar-spec

update for cedar#360 #349

Sign in to view logs

update for cedar#360

update for cedar#360 #349

Triggered via pull request October 30, 2023 14:34
@cdisselkoencdisselkoen
synchronize #141
cedar-360
Status Success
Total duration 20m 39s
Artifacts –

ci.yml

on: pull_request
Matrix: Build and Test Dafny
Matrix: Build and Test DRT
Fit to window
Zoom out
Zoom in