Skip to content

new syntax pred A -> B. #1364

new syntax pred A -> B.

new syntax pred A -> B. #1364

Triggered via pull request September 17, 2025 08:42
@garesgares
synchronize #368
syntax-pred
Status Success
Total duration 11m 41s
Artifacts 19

main.yml

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

Annotations

2 notices
Build and test elpi (windows-latest, 4.14.x, dev)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
Build and test elpi (windows-latest, 5.3.x, dev)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677

Artifacts

Produced during runtime
Name Size Digest
.benchmark-4.14.x-Linux Expired
2.6 KB
sha256:c07874c194b01d7f5aee71bbba8fbac4e29845a1af570f2ab988104367c6ecb3
.benchmark-4.14.x-Windows Expired
2.32 KB
sha256:480c8f34ffdd31c42612865f3392b8c6d0ffd402810c70b09de6dfb194b88342
.benchmark-4.14.x-macOS Expired
2.73 KB
sha256:b338a50771f7a0d95fe4ae76ab8cd80e81aed9b7ce4b4e625d8ccb3565c0d708
.benchmark-5.3.x-Linux Expired
2.7 KB
sha256:420033890cef8ff18fc552a40136c73819e4b3a79ecdb7b917cfaac70a749a00
.benchmark-5.3.x-Windows Expired
2.29 KB
sha256:675ae3daf9305054fd79bace62d68525299f0b5f66c1a731fc91c971804dafd0
.benchmark-5.3.x-macOS Expired
2.72 KB
sha256:04282587489c110778e53d50728dea1479f78f9bd75b9797e32f08f7d22c5b97
.logs-4.14.x-Linux Expired
222 KB
sha256:cd64c847f9e5b96ea91ff6a524125f585483292998d0544c993b52c4316012de
.logs-4.14.x-Windows Expired
223 KB
sha256:295fdd43bb063c1f1dfeecf102be2cd26056c4a56a8ca30430de11ebf0d3cded
.logs-4.14.x-macOS Expired
223 KB
sha256:d9caab42c9cce3c21c18d17b8e3989d543807c9659dfd1525eb7dba93fc25756
.logs-5.3.x-Linux Expired
221 KB
sha256:286769718b1e3f6000c721f9bbaee18162cdbea98fc0212eb5347f870d060dd1
.logs-5.3.x-Windows Expired
222 KB
sha256:2e64ebcdf8df56086c08abd0a43cfda969ffb3b567bb021cd75b7ad00321de73
.logs-5.3.x-macOS Expired
222 KB
sha256:9e4371b5f7363e44ba9fb117fd7849464185bb4df1c81c99846431d4154442fa
benchmark-plot
177 KB
sha256:7f30817cabfcf6fa00f6072930e73d4f36ebfac368a3f56c86fd243fece917be
elpi-4.14.x-Linux
2.68 MB
sha256:4630d3dd27726c4bfc781584772113be29c1653ee17bf92b13a1abea11ae9627
elpi-4.14.x-Windows
2.2 MB
sha256:6876979ec4a97b332dced9036f8701314f5a9d0fca70a3be94fafa8155c1bb84
elpi-4.14.x-macOS
2.49 MB
sha256:08a54ed4819ebaccbe1e041fedc247a4e3c485d485e6e1788251d92b70bba0d9
elpi-5.3.x-Linux
3.01 MB
sha256:ca37697848d92f9fe938b9403f565d580e9b224f3f1b61d5b7ead343d7905289
elpi-5.3.x-Windows
2.65 MB
sha256:53e7ce2d69313a3bf5e1e1199817ab4efdd24df9e06730e8917eb6acee5ad3a2
elpi-5.3.x-macOS
2.85 MB
sha256:4d46362b7d8e48a943bdb23d323b8fd4f2d920b19725e6f77e25696979d4e5ff