Merge pull request #368 from LPCIC/syntax-pred #1368
garesmain.yml
on: push
Matrix: Build and test elpi
Aggregate and plot benchmarking data
29s
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.66 KB |
sha256:2957fa555c31d574ed73655ea7007ca5905dd102ab0238f969f6b5c50b529eda
|
|
|
.benchmark-4.14.x-Windows
Expired
|
2.25 KB |
sha256:4206b218c026ded5f66c5327e826ac83e2888ebe9f9fceb84967856d55afb5bd
|
|
|
.benchmark-4.14.x-macOS
Expired
|
2.76 KB |
sha256:a6e36ac12fda5a27c23394ba6103dd9e142d97938721042e855803e57f82f2e8
|
|
|
.benchmark-5.3.x-Linux
Expired
|
2.69 KB |
sha256:91f63a0ad1112fcc3b29172440c6c8680a1beae9492507a21d3fb863713ba4c3
|
|
|
.benchmark-5.3.x-Windows
Expired
|
2.28 KB |
sha256:e2c2243b1424bb77f1958c820ea6ab71070cc413b170ff365896041dc18bfcd7
|
|
|
.benchmark-5.3.x-macOS
Expired
|
2.68 KB |
sha256:74002f8783c52ac7ad8a2afe451df0bf6984a5b45ec3509b7e1763996863d8e6
|
|
|
.logs-4.14.x-Linux
Expired
|
223 KB |
sha256:3882692fa7c10acc51f4c159849dbb73300dc15a260db3c98f265cb983276dce
|
|
|
.logs-4.14.x-Windows
Expired
|
224 KB |
sha256:b8a8dfbd0a71f49f50cf584acd0dc727c57255df159b3e54ccc8426328f27f08
|
|
|
.logs-4.14.x-macOS
Expired
|
224 KB |
sha256:98d64f8a687e07bd9a717de57eac990fd9baed7df4e5c5f1aac252e411e98d17
|
|
|
.logs-5.3.x-Linux
Expired
|
221 KB |
sha256:c08606c9b5ef387777e524219b22deb572c9753a3cf4cb046bbfd8009f69a992
|
|
|
.logs-5.3.x-Windows
Expired
|
222 KB |
sha256:abe38726091c0740026dd04528f519a8e6698dee94c2a108dc44d704884a3b18
|
|
|
.logs-5.3.x-macOS
Expired
|
222 KB |
sha256:d62d91432f5b182ec2658f7337f088a5d0d663f1bb6924753594bb8c189aad71
|
|
|
benchmark-plot
|
178 KB |
sha256:a72964486adaa150a05406e7f5684cde0811d91faa76a0a782c87f7fbff12b52
|
|
|
elpi-4.14.x-Linux
|
2.68 MB |
sha256:e078aa5c59d4dfc779e1f94e742b74d932c7822c1980c12d371c064630413a19
|
|
|
elpi-4.14.x-Windows
|
2.2 MB |
sha256:335f3e37719dc826c0acdb2c293c4e99134644be7f98be03f670eb171b64e559
|
|
|
elpi-4.14.x-macOS
|
2.49 MB |
sha256:e190c59740b20aaf8d20b3b34fb2264c5c1a8a066fbbaffdbf828240d7913214
|
|
|
elpi-5.3.x-Linux
|
3.01 MB |
sha256:65de5fa3bff3569b3e40775e6afc28d9dfd4c86ac61e844285827d5883e0887d
|
|
|
elpi-5.3.x-Windows
|
2.65 MB |
sha256:306ebf22c15d233115dabd766baffd8817c655907f19bda19dc83017953d1389
|
|
|
elpi-5.3.x-macOS
|
2.85 MB |
sha256:13162e27dabcd050327397fd06be1460d68bc6a9ca1f772d55bb1642719842b4
|
|