Skip to content
Build cedar-spec

Followup to #145 #387

Sign in to view logs

Followup to #145

Followup to #145 #387

Triggered via pull request November 16, 2023 14:00
@khietakhieta
synchronize #155
khieta/fix/is-drt
Status Success
Total duration 11m 27s
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