Skip to content
Build cedar-spec

replace trivial rcases with have #470

Sign in to view logs

replace trivial rcases with have

replace trivial rcases with have #470

Triggered via pull request January 18, 2024 17:30
@cdisselkoencdisselkoen
opened #200
cdisselkoen/lean-have
Status Success
Total duration 14m 59s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

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