Skip to content
Build cedar-spec

Make .lt strict. #424

Sign in to view logs

Make .lt strict.

Make .lt strict. #424

Triggered via pull request December 7, 2023 19:07
@eminaemina
opened #167
emina/main-lt-bug-fixes
Status Success
Total duration 11m 2s
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