Skip to content
vscode-lean4 build

feat: Lean syntax highlighting in Markdown #2512

Sign in to view logs

feat: Lean syntax highlighting in Markdown

feat: Lean syntax highlighting in Markdown #2512

Triggered via push October 15, 2024 08:27
@Vtec234Vtec234
pushed 603b314
better-md-render
Status Failure
Total duration 2m 45s
Artifacts –

on-push.yml

on: push
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 4 warnings
Linux
Process completed with exit code 1.
Windows
Process completed with exit code 1.
Linux
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Linux
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Windows
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-node@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Windows
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-node@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/