Skip to content
Run Tests

Add support for Lean 4 #4087

Sign in to view logs

Add support for Lean 4

Add support for Lean 4 #4087

Re-run triggered November 28, 2023 08:08
@lildudelildude
#6616
eric-wieser:patch-1
Status Failure
Total duration 4m 57s
Artifacts –

ci.yml

on: pull_request
Test Dockerfile
2m 17s
Test Dockerfile
Classifier cross-validation
4m 45s
Classifier cross-validation
Matrix: run
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 1 warning
Ruby 3.2
Process completed with exit code 1.
Ruby 3.0
The job was canceled because "_3_2" failed.
Ruby 3.0
Process completed with exit code 1.
Ruby 3.1
The job was canceled because "_3_2" failed.
Ruby 3.1
The operation was canceled.
Classifier cross-validation
Process completed with exit code 1.
Classifier cross-validation
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/