Skip to content

Fix LeanFFI

Fix LeanFFI #566

Triggered via pull request March 6, 2024 03:26
Status Failure
Total duration 8m 48s
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 101.
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/.