Skip to content

new syntax pred A -> B. #1367

new syntax pred A -> B.

new syntax pred A -> B. #1367

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

main.yml

on: pull_request
Matrix: Build and test elpi
Aggregate and plot benchmarking data
1m 6s
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.63 KB
sha256:34bd00c5f569949a6218417a1176c108ddc865e2f28a2529841535c59f2df9d1
.benchmark-4.14.x-Windows Expired
2.33 KB
sha256:eff714ebbb0518679d01f76424381cf4a0e27c0e0f381e2f10bc5dc6cf36e173
.benchmark-4.14.x-macOS Expired
2.67 KB
sha256:a2376ac4595fcd94a3aa2035dff09574e50469bbb9d85461cd398d63da09ea5d
.benchmark-5.3.x-Linux Expired
2.7 KB
sha256:acce572250f06e755b81c4ea7f2a9f630e98831d4055b765b19fb4e58cfd3376
.benchmark-5.3.x-Windows Expired
2.29 KB
sha256:60941ed49f010e7ac754cfa452a5bba5bd971b2b64c21df95412b713bb3e95a9
.benchmark-5.3.x-macOS Expired
2.75 KB
sha256:ee615f62272214cec73d9178db60a402dd9ede6a6e187c94313ecd08908ea20b
.logs-4.14.x-Linux Expired
223 KB
sha256:4b52a3c8a13c561d414e16d1d9b6c52948cfe1c190bdc9342c1c5d93e913792b
.logs-4.14.x-Windows Expired
224 KB
sha256:883fff05a7805916f61696c8cae16a1bc6049630e96d4bcec4b9a05924cd1adc
.logs-4.14.x-macOS Expired
224 KB
sha256:231e6abd42317fc0ccf2e321b23b720286e3d84cdf932cb69a5a9cfdf918cf5f
.logs-5.3.x-Linux Expired
221 KB
sha256:511c8ca71bb2b18c48dec124955b41c25104e7110a43ff05c7a27f57b852faa5
.logs-5.3.x-Windows Expired
222 KB
sha256:1ef6301f24c87d394624faa707f9f2c261d714921e12815333bccd3e05f79321
.logs-5.3.x-macOS Expired
222 KB
sha256:bac1547e64ed2e4dfc6b2753c95e02a191a8205cd61a499e3e397f8e090964c8
benchmark-plot
178 KB
sha256:5bc9cce5e5caea1ceb3be02c3f63e38ea13f7a0d7f47479b647db617dfaba156
elpi-4.14.x-Linux
2.68 MB
sha256:8e383631b24a0b81fe9ca9e6a9f2f90db9cb422767ce45e446b294a6a3bc0842
elpi-4.14.x-Windows
2.2 MB
sha256:392b3f63ac29adbb8e95c42c754e33581384a97227bfee4fb267b1a827ad4a4e
elpi-4.14.x-macOS
2.49 MB
sha256:f3307864d972e7a1ba24e8c8f92a9e551cea1d6c1a90553416ac77fb0e2045a0
elpi-5.3.x-Linux
3.01 MB
sha256:5eb379b17e4abfbaba007d2e4deee55bf1a434c50eb46753bfde2660a862926d
elpi-5.3.x-Windows
2.65 MB
sha256:c2a4932200e6d9ff9e528dfbddb16b8b73749e9e7894663bb146ef2d3f491c09
elpi-5.3.x-macOS
2.85 MB
sha256:7496221f4d7fa1444a51d6fbc803bae262b0260b7839dcd0aeba4f21afcadd0e