Skip to content

new syntax pred A -> B. #1362

new syntax pred A -> B.

new syntax pred A -> B. #1362

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

main.yml

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

Annotations

2 notices
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
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

Artifacts

Produced during runtime
Name Size Digest
.benchmark-4.14.x-Linux Expired
2.62 KB
sha256:625c181e7d74cbd08b8e0fd7076b75acd1d8efe53718929c5efb2796f4970303
.benchmark-4.14.x-Windows Expired
2.28 KB
sha256:c073bb672741a4344bd614f0784e790457a2b66c9da49154fda8416194ab8510
.benchmark-4.14.x-macOS Expired
2.7 KB
sha256:f5a87b907e14297fa8b799d648b82be933ff74600a67cb0b3a9bbc54c1e74732
.benchmark-5.3.x-Linux Expired
2.69 KB
sha256:6f95a836f60f13d69d9e8077e2c2c749d1ce069ced4da651f32a5fcace24415f
.benchmark-5.3.x-Windows Expired
2.27 KB
sha256:8072bec676c353787f09ef128d8625f505c04f86e0932108ab2f38a03ecce67a
.benchmark-5.3.x-macOS Expired
2.67 KB
sha256:852ae00a267666a78cbf0e95066c8217b82ae95f54e7fb7f148827126d009333
.logs-4.14.x-Linux Expired
222 KB
sha256:e48f4f4fc1084c3b9d9bd188ae0a8d0e75fce48c66c37dc9b92cc8e5d3c15e28
.logs-4.14.x-Windows Expired
223 KB
sha256:79f771619d606125b3e9bb900a6821165c4bb1788fee39fb5ae7f096c99a78b6
.logs-4.14.x-macOS Expired
223 KB
sha256:fa39575c5ef7ccf3d48ab5bb820921ba7e18c156801007afcec6d46f2d9f776c
.logs-5.3.x-Linux Expired
221 KB
sha256:e2c22d62dd6ddd63f5af1ad9cba04914e14a4975fe6706917cf57201fa7563bf
.logs-5.3.x-Windows Expired
221 KB
sha256:42115200b46736145e46fd2e668253f5a9185bdb49ae059beda51b07d1eec6d6
.logs-5.3.x-macOS Expired
222 KB
sha256:4bae3d12cffb2718dfeb0be05abe25f571128d06291608de1faf5d56f39b9a53
benchmark-plot
177 KB
sha256:fe995cb2d97cd08b8ed139e394ab668e3a8c93e4ba91b12d041c7a63888eb823
elpi-4.14.x-Linux
2.68 MB
sha256:201f2192e79d0095b42d2ae81ee15e4dde6041a37caa0e492ba5d0001406ba44
elpi-4.14.x-Windows
2.2 MB
sha256:13eda4d0a0f03dbeab81be66c16e58c1104b5c3178f3f5a145385e0e51cfb53c
elpi-4.14.x-macOS
2.49 MB
sha256:f29aa7f4fd9d61d0db7c04469249aba7a9ac77c7f49bfc09c206bfb4bee0e8d9
elpi-5.3.x-Linux
3.01 MB
sha256:b667626004e8747ac13e14499101cb4caf0227e99b20cfaf3b1de958eec5a588
elpi-5.3.x-Windows
2.65 MB
sha256:68c809fc9dc8bb52525c24dda4a691611349d8f69869974d4f0dc6a40a028655
elpi-5.3.x-macOS
2.85 MB
sha256:02cfa8e0d38dcc44676d3c8e54f9ca92fec30a7e81af108cdc69cf984eb72250