bump CI ocaml version #746
Annotations
2 errors and 3 warnings
The run was canceled by @gares.
|
Install real dependencies
The operation was canceled.
|
Save logs
No files were found with the provided path: _log. No artifacts will be uploaded.
|
Save benchmarking data
No files were found with the provided path: data.csv. No artifacts will be uploaded.
|
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: ".logs-4.14.x-Linux", ".logs-5.2.x-Linux", "elpi-4.14.x-Linux", "elpi-5.2.x-Linux".
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/
|
Loading