[typeabbrev] good merge order of type abbrev in compile body #823
FissoreDmain.yml
on: pull_request
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.08 KB |
sha256:823b3414324d19cc86dcf159f83e499ad18905a5a754ab4faf83a2ddb0fa5a15
|
|
|
.benchmark-4.14.x-Windows
Expired
|
1.88 KB |
sha256:a649846dd87ca00fe65e325e827309d65c063dedd3a99a4d2edf7a5283123b9f
|
|
|
.benchmark-4.14.x-macOS
Expired
|
2.26 KB |
sha256:4a5e3532f9715bd49ffea6e5df208979478ef8575e096154b1a08725d923b0a2
|
|
|
.benchmark-5.2.x-Linux
Expired
|
2.09 KB |
sha256:e4805849995b1bbabb6515acc7472b393cc97130e020d39b1a9b20af8e509255
|
|
|
.benchmark-5.2.x-Windows
Expired
|
1.91 KB |
sha256:633e671fd6210c5fd63b04019cdea1e5dead81e1ac88ea3ab0615be1e4eb3e9d
|
|
|
.benchmark-5.2.x-macOS
Expired
|
2.22 KB |
sha256:ee218ae1fb6fcdaa276bdb1f616e8d8bf1689aa77bf572512960e812eab7af98
|
|
|
.logs-4.14.x-Linux
Expired
|
180 KB |
sha256:8de20b65170d200b2b34519a95ae067b16b02305a494f23e4aacbc31a873e603
|
|
|
.logs-4.14.x-Windows
Expired
|
181 KB |
sha256:dfa98e5b7a3547de9e9a98e59c3759d0aaeda8f690ec5b8ad543f7992218132e
|
|
|
.logs-4.14.x-macOS
Expired
|
181 KB |
sha256:19f8c628c633a818e4ecb54001919ab7a828cf4277d64fa06d51463e1309f837
|
|
|
.logs-5.2.x-Linux
Expired
|
179 KB |
sha256:c4686211d49c78cd494da976e58a2087197fb7b86501c06f4c6b7552bc566be1
|
|
|
.logs-5.2.x-Windows
Expired
|
181 KB |
sha256:f4c8a4f36bba5e017d14c5ebf6acb1a5abb418c4bddff3d86929896bc3c7556a
|
|
|
.logs-5.2.x-macOS
Expired
|
180 KB |
sha256:80020bc64759812445d53398b1d0996038cba2305d8b0a83c1064fde391edccc
|
|
|
benchmark-plot
Expired
|
125 KB |
sha256:fb8ca59a1bff955ba045ce8a3c702d15433a19f60712f2def9513eaa8573cdf1
|
|
|
elpi-4.14.x-Linux
Expired
|
2.35 MB |
sha256:31e8b8dbad10f044b80662ebe9bad42dcd638e3127485c8a15477878688f12e6
|
|
|
elpi-4.14.x-Windows
Expired
|
1.94 MB |
sha256:7ab38ba36dcf6936dd0a5207d7e35d16464be43caf533c50a81d19cb53d6cb9a
|
|
|
elpi-4.14.x-macOS
Expired
|
1.94 MB |
sha256:e7c8d536ec6c6268d9a2484aadf29b77a58be62605bb234803e903fb7812103d
|
|
|
elpi-5.2.x-Linux
Expired
|
2.64 MB |
sha256:e2e002c1356d7b06aad9fa201b792d114dfdd7659aceee6e3366a50de764741c
|
|
|
elpi-5.2.x-Windows
Expired
|
2.3 MB |
sha256:cd7bffc8fceb40b6e9ffa694e02551d465b6365297a905f126d7c36cd5f302f7
|
|
|
elpi-5.2.x-macOS
Expired
|
2.21 MB |
sha256:e91bd8a3177a6ea1c7689ff32f828a6816240bb2b8c6a6f9164b9ea424125699
|
|