[typeabbrev] type dl (dl A) where dl is typeabbrev is no more "looping"
#813
FissoreDmain.yml
on: pull_request
Matrix: Build and test elpi
Aggregate and plot benchmarking data
26s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
.benchmark-4.14.x-Linux
Expired
|
2.06 KB |
sha256:cf69ec8bf212a6b3cbb0d2de4c2bce8d692fbc5c545bc7e5ef6777419cbfc53e
|
|
|
.benchmark-4.14.x-Windows
Expired
|
1.89 KB |
sha256:f44401fdc2d822310f7816f4499dedbe40098d620c9cf8d998d00765dbaab07e
|
|
|
.benchmark-4.14.x-macOS
Expired
|
2.22 KB |
sha256:fc34e5b3571a9c702f2c6e9dd59c83fd62f5e1d33ec4e85a966468bb99912faf
|
|
|
.benchmark-5.2.x-Linux
Expired
|
2.08 KB |
sha256:62d7de6d9c2a5dc7eaef471f21fa6a81657e0fa18281f8050fe1782c4aec42a9
|
|
|
.benchmark-5.2.x-Windows
Expired
|
1.93 KB |
sha256:09042259b8d8f98a2a44eff400b778d71e1d0b671ead89217347f16e5d14ea81
|
|
|
.benchmark-5.2.x-macOS
Expired
|
2.18 KB |
sha256:929c9674f4a7fb1a84c64513cb716db066f7676426248612a9a30759a20b95da
|
|
|
.logs-4.14.x-Linux
Expired
|
180 KB |
sha256:0ec2e48a954366e41e3b3a48cbdda30792e19b108568ccd08975529a59f6521b
|
|
|
.logs-4.14.x-Windows
Expired
|
182 KB |
sha256:19da46543a2c90bf23427df6877fe71ef4059530902ae032abe9711608016410
|
|
|
.logs-4.14.x-macOS
Expired
|
181 KB |
sha256:c7737812d2a45fd2db7657b8760f4c2081c551b4e1ca2dbe718158f4a8cadaa5
|
|
|
.logs-5.2.x-Linux
Expired
|
179 KB |
sha256:84ae49de9ea3d03b8ef975d9e4ca273ee7a2b64dc7166537bf606bea3aeaf164
|
|
|
.logs-5.2.x-Windows
Expired
|
181 KB |
sha256:98f3a30b02919b46082e0c6639dce1b07c588354332a21d9e3fcc84589159b43
|
|
|
.logs-5.2.x-macOS
Expired
|
180 KB |
sha256:cd7fd78721133415651166f670f43206c184ab1f149a623427e881b281bee018
|
|
|
benchmark-plot
Expired
|
125 KB |
sha256:8f878735164a802038a5292d7e71e2ed1f623ece09376cc4b0160d7b92997b55
|
|
|
elpi-4.14.x-Linux
Expired
|
2.35 MB |
sha256:17f1c415f5e2b705a61100387eead95259a6b7455cedb90a61812fd57e5fb956
|
|
|
elpi-4.14.x-Windows
Expired
|
1.94 MB |
sha256:35e5e518f5868047129285c1e4ba1b5a2680298a7ee3bd370a7dffcd117abe0b
|
|
|
elpi-4.14.x-macOS
Expired
|
1.94 MB |
sha256:d2a9c3e17d0aaf9821ea5a6bde408c3ea975ad000d445d60e3e3b3b40ea320ab
|
|
|
elpi-5.2.x-Linux
Expired
|
2.64 MB |
sha256:a07731e2a3872211221b680387d955edfcf02f6cbfc289ea72ab81fb4becd2c2
|
|
|
elpi-5.2.x-Windows
Expired
|
2.3 MB |
sha256:a442fec77fe5075b0cc26fbba3bafff4065e5a6b1a321105213d143dece3275f
|
|
|
elpi-5.2.x-macOS
Expired
|
2.21 MB |
sha256:a302a6be427f14c3cea812160a9dc5bc48b74e079cc8d8bb4259516aadab35f2
|
|