Skip to content
Build cedar-spec

update Cedar submodule, and update generators for RFC 20 (cedar#375) #335

Sign in to view logs

update Cedar submodule, and update generators for RFC 20 (cedar#375)

update Cedar submodule, and update generators for RFC 20 (cedar#375) #335

Triggered via pull request October 25, 2023 14:54
@cdisselkoencdisselkoen
synchronize #136
rfc-20
Status Failure
Total duration 20m 58s
Artifacts –

ci.yml

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

Annotations

1 error
Build and Test DRT (stable)
Process completed with exit code 101.