Skip to content

Fix CHR bug affecting trocq #1386

Fix CHR bug affecting trocq

Fix CHR bug affecting trocq #1386

Triggered via pull request October 16, 2025 14:56
@garesgares
synchronize #375
fix-bug-chr
Status Failure
Total duration 12m 7s
Artifacts 19

main.yml

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

Annotations

6 errors
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.

Artifacts

Produced during runtime
Name Size Digest
.benchmark-4.14.x-Linux Expired
2.64 KB
sha256:4623b2572ab4a5ee783222ddcf50e6647d5fae762f98e0fc939757dc95b85253
.benchmark-4.14.x-Windows Expired
2.27 KB
sha256:a96cb6672ef9a0d74bf2d91b3780acff0ca59ed4b0e2042535500e538c05d21c
.benchmark-4.14.x-macOS Expired
2.77 KB
sha256:65f988ed73031805a5dab6224a23d71c7508595aae79a5714efd4ffab9bae179
.benchmark-5.3.x-Linux Expired
2.7 KB
sha256:d223c4d44174f3511138d430215c8e2ff3a41a651138e372eafb9fffe5d5eaa8
.benchmark-5.3.x-Windows Expired
2.25 KB
sha256:81ff2c1bce6c07753f11354f2b922478200d7e1186a3d67533236fe0b01bc4fa
.benchmark-5.3.x-macOS Expired
2.69 KB
sha256:4becc8a597a3a7d9cdd004aef785cf4dedcfa33f515c85f087ebdb9c37e57134
.logs-4.14.x-Linux Expired
223 KB
sha256:e674502a47bcf9b5126d1b439f63e370d66bea907024b9bc37102bfccb8a0b3a
.logs-4.14.x-Windows Expired
225 KB
sha256:4b751af295741002d3d088950f8b3016e33af31b8b227559dbcd8159af88c0c9
.logs-4.14.x-macOS Expired
224 KB
sha256:477f7b279d8148c94aec740b841e3a280fe177887c2412fc7fb3ea2fdea909cd
.logs-5.3.x-Linux Expired
221 KB
sha256:5637649053133f313adf3f6c32af795831f963f678fdd2536d22be5389da2a56
.logs-5.3.x-Windows Expired
223 KB
sha256:0a1e9b3ad8c50dd59308e0124b48e611e8a4320bd8dd59ed899961a6ce378a11
.logs-5.3.x-macOS Expired
223 KB
sha256:f4fc2c07f6a4f89a9bcc61bd844398c0cad1107985a2d7bf7e77b83754f169ac
benchmark-plot
177 KB
sha256:d0b954bcf714cc8986c2098a967645ac017ed2a5b1e0698bcb2bb624dae0f22b
elpi-4.14.x-Linux
2.71 MB
sha256:ed238c32d14574e0b40f551dccfc83ef913d475864436d089162853484ffeda5
elpi-4.14.x-Windows
2.22 MB
sha256:eaeeb3cc117f6ab9f188c35210ed1151bb4deb5abf5cbdae13de23babff9d6ed
elpi-4.14.x-macOS
2.52 MB
sha256:4600f2df0accdd0b88b93c88093b4038c155f817ccc948754dfe282156114304
elpi-5.3.x-Linux
3.04 MB
sha256:25a6632a4368dd7aa1e524c5eec19a4bda0b0e4e854aa3c335b8ce710360773a
elpi-5.3.x-Windows
2.67 MB
sha256:4f8e5f27d9dd7f52ff7d05dc8e2ba3b5ca20d416190179e9f27f6db4b50d520c
elpi-5.3.x-macOS
2.87 MB
sha256:f030bf3225558128c65141011e0f42a65751be09f1ae85bb85f2686566bf8ecf