Skip to content
Build cedar-spec

update for cedar#634 #509

Sign in to view logs

update for cedar#634

update for cedar#634 #509

Triggered via pull request February 12, 2024 21:55
@cdisselkoencdisselkoen
opened #218
cdisselkoen/update-for-634
Status Failure
Total duration 7m 44s
Artifacts –

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

Annotations

1 error and 3 warnings
Build and Test DRT (stable)
Process completed with exit code 101.
Build and Test DRT (stable)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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 Dafny (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/.