Skip to content

attribute to disable occur check #1383

attribute to disable occur check

attribute to disable occur check #1383

Triggered via pull request October 14, 2025 15:44
@garesgares
synchronize #356
oc-opt-out
Status Failure
Total duration 20m 45s
Artifacts 2

main.yml

on: pull_request
Matrix: Build and test elpi
Aggregate and plot benchmarking data
40s
Aggregate and plot benchmarking data
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 13 warnings
Build and test elpi (ubuntu-latest, 4.14.x, dev)
Process completed with exit code 2.
Build and test elpi (ubuntu-latest, 5.3.x, fatalwarnings)
Process completed with exit code 2.
Build and test elpi (macos-latest, 4.14.x, dev)
Process completed with exit code 2.
Build and test elpi (macos-latest, 5.3.x, dev)
Process completed with exit code 2.
Build and test elpi (windows-latest, 4.14.x, dev)
Process completed with exit code 1.
Build and test elpi (windows-latest, 5.3.x, dev)
Process completed with exit code 1.
Aggregate and plot benchmarking data
Process completed with exit code 1.
Build and test elpi (ubuntu-latest, 4.14.x, dev)
No files were found with the provided path: data.csv. No artifacts will be uploaded.
Build and test elpi (ubuntu-latest, 4.14.x, dev)
No files were found with the provided path: _log. No artifacts will be uploaded.
Build and test elpi (ubuntu-latest, 5.3.x, fatalwarnings)
No files were found with the provided path: data.csv. No artifacts will be uploaded.
Build and test elpi (ubuntu-latest, 5.3.x, fatalwarnings)
No files were found with the provided path: _log. No artifacts will be uploaded.
Build and test elpi (macos-latest, 4.14.x, dev)
No files were found with the provided path: data.csv. No artifacts will be uploaded.
Build and test elpi (macos-latest, 4.14.x, dev)
No files were found with the provided path: _log. No artifacts will be uploaded.
Build and test elpi (macos-latest, 5.3.x, dev)
No files were found with the provided path: data.csv. No artifacts will be uploaded.
Build and test elpi (macos-latest, 5.3.x, dev)
No files were found with the provided path: _log. No artifacts will be uploaded.
Build and test elpi (windows-latest, 4.14.x, dev)
No files were found with the provided path: data.csv. No artifacts will be uploaded.
Build and test elpi (windows-latest, 4.14.x, dev)
No files were found with the provided path: _log. No artifacts will be uploaded.
Build and test elpi (windows-latest, 4.14.x, dev)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-cygwin-3.6.4, another job may be creating this cache.
Build and test elpi (windows-latest, 5.3.x, dev)
No files were found with the provided path: data.csv. No artifacts will be uploaded.
Build and test elpi (windows-latest, 5.3.x, dev)
No files were found with the provided path: _log. No artifacts will be uploaded.

Artifacts

Produced during runtime
Name Size Digest
elpi-4.14.x-Windows
2.23 MB
sha256:ad0d22f78796a19614c812f05f0eaba71a4d6dae8fc556b6d95c1b3054f5e35e
elpi-5.3.x-Windows
2.68 MB
sha256:1287491e508e881390f8f941f0e1fed7e091350385ce52156643f9776c89df89