Skip to content

Update 2013-05-15-from-functions-to-term-rewriting-and-back.md #182

Update 2013-05-15-from-functions-to-term-rewriting-and-back.md

Update 2013-05-15-from-functions-to-term-rewriting-and-back.md #182

Triggered via push June 12, 2024 12:53
Status Failure
Total duration 6m 55s
Artifacts 1
prepare-website  /  Prepare the website sources
3m 48s
prepare-website / Prepare the website sources
Deploy the Rascal website
2m 25s
Deploy the Rascal website
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
Deploy the Rascal website
Process completed with exit code 1.
prepare-website / Prepare the website sources
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-java@v3, actions/setup-node@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Deploy the Rascal website
This job failure may be caused by using an out of date self-hosted runner. You are currently using runner version 2.316.1. Please update to the latest version 2.317.0
Deploy the Rascal website
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "sources". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/

Artifacts

Produced during runtime
Name Size
sources Expired
24.5 MB