Skip to content
Build cedar-spec

Consolidate and generalize data structure proofs. #540

Sign in to view logs

Consolidate and generalize data structure proofs.

Consolidate and generalize data structure proofs. #540

Triggered via pull request February 27, 2024 22:25
@eminaemina
opened #234
emina/refactor-data-lemmas
Status Failure
Total duration 5m 33s
Artifacts –

ci.yml

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

Annotations

1 error and 2 warnings
Build and Test DRT (stable)
Process completed with exit code 1.
Build and Test Lean (stable)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build and Test DRT (stable)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.