[typeabbrev] typeabbrev can be "recursif" (see description) #814
FissoreDmain.yml
on: push
Matrix: Build and test elpi
Aggregate and plot benchmarking data
29s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
.benchmark-4.14.x-Linux
Expired
|
2.07 KB |
sha256:fc642ce9fb91bb20ac99415a1186050bf5fc76c320a7ef77970f7f619e99bc44
|
|
|
.benchmark-4.14.x-Windows
Expired
|
1.93 KB |
sha256:131097c5e44cb478bb505048c7a76a9786927fbfab46c071c6639321e5982548
|
|
|
.benchmark-4.14.x-macOS
Expired
|
2.21 KB |
sha256:c55a6b0fa3f662afe275db1e9de62cd6c1480fd22b389aae1cf784be46835bcf
|
|
|
.benchmark-5.2.x-Linux
Expired
|
2.07 KB |
sha256:30d6816b6459dbd50626d472482b4861eb86363821dc4e1c19b97b998c08c520
|
|
|
.benchmark-5.2.x-Windows
Expired
|
1.9 KB |
sha256:cf4812b0adb1cf7f601b7921728618689a917c45b4452e71c573299a3c507c36
|
|
|
.benchmark-5.2.x-macOS
Expired
|
2.16 KB |
sha256:f976be102784ffc2bec07300fe9b145a5efb3e3a1b5282b1f6260270302935da
|
|
|
.logs-4.14.x-Linux
Expired
|
180 KB |
sha256:1f7093f8e23023142a68ee9a23a9223c4a058f8d0ad821b852383c90ab08da43
|
|
|
.logs-4.14.x-Windows
Expired
|
181 KB |
sha256:a043b6f9e76c8433eed710302f3020beff49150a9d895fdb2bc69b4cbe8b4a83
|
|
|
.logs-4.14.x-macOS
Expired
|
181 KB |
sha256:6d8142113fad859b093883e7f5b7cf087b55ea638dde0d4ce76cec40339a63b4
|
|
|
.logs-5.2.x-Linux
Expired
|
179 KB |
sha256:90e21d94663b51884f8ff9d9a5285f6c486f59bcbf9206fa53fd1545ee9bb6d8
|
|
|
.logs-5.2.x-Windows
Expired
|
181 KB |
sha256:faeefc104d738977132bbd821e0b77666456f8545854b19f54fa28970dfc754c
|
|
|
.logs-5.2.x-macOS
Expired
|
180 KB |
sha256:3864c3f84e301539bdd236cb94fbf0cedaf33a48cda67b9d4daa7f4e27d42254
|
|
|
benchmark-plot
Expired
|
125 KB |
sha256:30a8aa17449135280f8cf19cf66e32a389ff42e507997a80d6d991601022b476
|
|
|
elpi-4.14.x-Linux
Expired
|
2.35 MB |
sha256:54bd32ad51e7f8537b78e28976b0b056f7389d10041e4cc4272d74a86f564940
|
|
|
elpi-4.14.x-Windows
Expired
|
1.94 MB |
sha256:227cc68cf44d3839658228303eab52e822d5d3c88e2dedb8ee8f6727a79cfd1b
|
|
|
elpi-4.14.x-macOS
Expired
|
1.94 MB |
sha256:ba42ec253ea822b569dbab95bc0924f48474de0d2631d2e5e58146515ecb1c31
|
|
|
elpi-5.2.x-Linux
Expired
|
2.64 MB |
sha256:20f4b9384baffd372a63d11e3798ec12f1ef152df6070f973e718d432b20d1d4
|
|
|
elpi-5.2.x-Windows
Expired
|
2.3 MB |
sha256:23e24ab23a399f6d9305a42ead645134c0d5201c0d5e3175304d54f3c6e5958c
|
|
|
elpi-5.2.x-macOS
Expired
|
2.21 MB |
sha256:f80f4ebabb055c8f897ee173bc953c907855692676c7642299e3dd1dcc37cfd8
|
|