Skip to content
CI

chore: bump for lean4#3159 #219

Sign in to view logs

chore: bump for lean4#3159

chore: bump for lean4#3159 #219

Triggered via pull request January 11, 2024 12:35
@mhuisimhuisi
synchronize #57
bump-3159
Status Failure
Total duration 46s
Artifacts –

build.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 4 warnings
macOS
Process completed with exit code 1.
Windows
Process completed with exit code 1.
macOS
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/
Ubuntu
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Ubuntu
No files were found with the provided path: build. No artifacts will be uploaded.
Windows
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/