new syntax pred A -> B. #1361
garesmain.yml
on: pull_request
Matrix: Build and test elpi
Aggregate and plot benchmarking data
2m 12s
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.65 KB |
sha256:910c3641600d3ddd172ab9a36bd64e3bacbb12e6961207672764e7822835194d
|
|
|
.benchmark-4.14.x-Windows
Expired
|
2.27 KB |
sha256:8bef468f4a4ac8cb8f29d29c00310ad42e9d74c6d5f382bdabdf75088e52e69b
|
|
|
.benchmark-4.14.x-macOS
Expired
|
2.71 KB |
sha256:41e3c37a7eca6472f554380bdbd280e73b622dd310c0612540da2900280a054e
|
|
|
.benchmark-5.3.x-Linux
Expired
|
2.67 KB |
sha256:655e262a3017cfdfbb6bc907437cdf3fac2bcdadded890036b71a8de67ac31ed
|
|
|
.benchmark-5.3.x-Windows
Expired
|
2.31 KB |
sha256:53ad4bcd6c7258922445c92858bd62be82778be1f0b058a0827ce2ad082a4ee1
|
|
|
.benchmark-5.3.x-macOS
Expired
|
2.71 KB |
sha256:54a7ad1fd6c91f780e06407cb477ce5b935be95675ab32710d973fdfba2af1d3
|
|
|
.logs-4.14.x-Linux
Expired
|
222 KB |
sha256:db86fdc749c84b485b177812b59ad276a6220cb269d69d8c7b36c2e8e9bf472f
|
|
|
.logs-4.14.x-Windows
Expired
|
223 KB |
sha256:37f82e5e4a80df01641fdaf44145aa534fa11bf94e2ab9ff368d31efd49cbf31
|
|
|
.logs-4.14.x-macOS
Expired
|
223 KB |
sha256:79e00378665594fbe8a6fb9eab5d1d0d80fb7f213d14e73027692434a5cbf1b0
|
|
|
.logs-5.3.x-Linux
Expired
|
221 KB |
sha256:9f38397ec32e95ae7b3400797a1995bd16b1e07a04036795db3a16541d411df6
|
|
|
.logs-5.3.x-Windows
Expired
|
222 KB |
sha256:348c9c4235c4203b5d9c13655fb5d8b81c6d5c2d74e6dc388e07a77c303f3ebc
|
|
|
.logs-5.3.x-macOS
Expired
|
222 KB |
sha256:4605eb9f82d84e3a652c9cd564e8f13aeaa09d0107ab0887132aedad6eebb574
|
|
|
benchmark-plot
|
177 KB |
sha256:41162c99d9387dca89e1bfad322a738ac42d9211a6b565107450d5653674758a
|
|
|
elpi-4.14.x-Linux
|
2.68 MB |
sha256:8c3af566bd542870025e5dcee7978f817da2e1bb1059f7cbf8a2b45a86b21a0c
|
|
|
elpi-4.14.x-Windows
|
2.2 MB |
sha256:d272fa8e8cd3cc986830cb138f6183759bb8d3393e08238dc09cfd505cc66d1c
|
|
|
elpi-4.14.x-macOS
|
2.49 MB |
sha256:60b0656cce4a70b423d5a330905764431c8336a2f29231d55cd80e67ab44b104
|
|
|
elpi-5.3.x-Linux
|
3.01 MB |
sha256:5166ddfa35fe69ec4c499003c3bf68048300b875dbab9a494e26863ab48b9972
|
|
|
elpi-5.3.x-Windows
|
2.65 MB |
sha256:773da19ba91c83254559d7e42be31e8741d53f6a676bd6fef6938ec9a04f0d56
|
|
|
elpi-5.3.x-macOS
|
2.85 MB |
sha256:3e99a1601a19d0bf4ba7a823bfa58d351a75da29e7a8d79a8d1244964ce91c87
|
|