Skip to content

new syntax pred A -> B. #1365

new syntax pred A -> B.

new syntax pred A -> B. #1365

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

main.yml

on: pull_request
Matrix: Build and test elpi
Aggregate and plot benchmarking data
2m 5s
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.58 KB
sha256:1eca28d65a5f20f3ce9672acb782360bada0ebe9bf54d438e2b4beb0de6f9ce6
.benchmark-4.14.x-Windows Expired
2.26 KB
sha256:21305ddccd599f5ef981c4f8e8ad7ac57bd621b45bbeeb33a882b4df58da4a29
.benchmark-4.14.x-macOS Expired
2.74 KB
sha256:3ff045620151a6e7e5b0fed2b5f0f4d869d0dce9147b76582c9db0d650c0a21d
.benchmark-5.3.x-Linux Expired
2.7 KB
sha256:2b3addc08a0b4027f4395e1f1569d887b0dd783a5831f8a0d78814b67882d76c
.benchmark-5.3.x-Windows Expired
2.32 KB
sha256:f988a558ef3ab7e019d431a800eb6db767d61413c7a656ebb5d6194b06b552a6
.benchmark-5.3.x-macOS Expired
2.71 KB
sha256:0c35796196de0725d62727c4d7c99e6c871c63816f577aa7830f52a192d715c6
.logs-4.14.x-Linux Expired
222 KB
sha256:00b30feb7814eb35066c961b2dae435602d57bbbfe28969f13931f88055dcb3e
.logs-4.14.x-Windows Expired
223 KB
sha256:163f299dcd0237322a18f9193f77e8a72eac0c7b2d39a6960814296ae3988bf7
.logs-4.14.x-macOS Expired
223 KB
sha256:b01288994760b872c5eb4826ffc0cb420832943371db988312b0b834d157ce06
.logs-5.3.x-Linux Expired
221 KB
sha256:4da2e84ed3d53a62f98c7447d09e563be458abcd5f588295dd1d6b64c29035fe
.logs-5.3.x-Windows Expired
222 KB
sha256:94aee87cac4b6640e0d33aecf9ece808391a9b0af09e98c602569495fc6fb6b1
.logs-5.3.x-macOS Expired
222 KB
sha256:abfba556929ed96150f88987b24ba2139836942857c1abfd052ee547e6f4b86b
benchmark-plot
177 KB
sha256:5af1ed192c66ff59674ef804cbcef02264f3127e6995a12ed776b7432444c754
elpi-4.14.x-Linux
2.68 MB
sha256:97d9d1aec0e30fb122ae4785d165d828f557302ab4e4d139a4500558fa13dcdf
elpi-4.14.x-Windows
2.2 MB
sha256:06dfd461b6eeee0076d94905982094e840e406ad93fb45c39a4eafc530fbe80b
elpi-4.14.x-macOS
2.49 MB
sha256:71f41fcc27658bf0bbf0c75d38bcfba4bf75f12385d2d873cf82691005bacf39
elpi-5.3.x-Linux
3.01 MB
sha256:920a69e704f0998fdd32a58fd723703992f5704928cf4e225e580b7eb7551337
elpi-5.3.x-Windows
2.65 MB
sha256:d945c0a5592d5af6ee432c86f0bb8e6ff6c68c20bf44b5cb3033f11ce01255bb
elpi-5.3.x-macOS
2.85 MB
sha256:d3d803bc347acb1bab4b735d1ac7da7dd25f38c1b9dd6d4c1a021e70a9974a91