Types are separated from terms #808
FissoreD
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
main.yml
on: pull_request
Matrix: Build and test elpi
Aggregate and plot benchmarking data
35s
Annotations
6 errors
|
Build and test elpi (ubuntu-latest, 4.14.x, dev)
Process completed with exit code 2.
|
|
Build and test elpi (ubuntu-latest, 5.2.x, fatalwarnings)
Process completed with exit code 2.
|
|
Build and test elpi (macos-latest, 5.2.x, dev)
Process completed with exit code 2.
|
|
Build and test elpi (macos-latest, 4.14.x, dev)
Process completed with exit code 2.
|
|
Build and test elpi (windows-latest, 4.14.x, dev)
Process completed with exit code 1.
|
|
Build and test elpi (windows-latest, 5.2.x, dev)
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
.benchmark-4.14.x-Linux
Expired
|
2.01 KB |
sha256:b3af2ebec10e4323602a6c6a921b43612ab5faba52f556eee5c94cf044befc31
|
|
|
.benchmark-4.14.x-Windows
Expired
|
1.79 KB |
sha256:ae14620a670127d94bd24126cc5d6ab1e329759cd6dee891c0a5885d55f53be3
|
|
|
.benchmark-4.14.x-macOS
Expired
|
2.16 KB |
sha256:0cf6710c5c9cc6fcd5813bb9ee5775193cda0d1776063b811519150098315514
|
|
|
.benchmark-5.2.x-Linux
Expired
|
2.02 KB |
sha256:ce09c544a65f35ff869a029b1bc5414c4d8db3c950bc2a01338b1ae25bc3254d
|
|
|
.benchmark-5.2.x-Windows
Expired
|
1.81 KB |
sha256:6f37e5c3685084dd65a24c5ac8a12ddb183dfce2c279b8d6fb8b16ebcb568f5d
|
|
|
.benchmark-5.2.x-macOS
Expired
|
2.08 KB |
sha256:e67f364d7df297ca96a5a6c20c5d0586cd3e7f109108aa8ea4f2e339897b1fa9
|
|
|
.logs-4.14.x-Linux
Expired
|
203 KB |
sha256:d01893a9fcc09b027774ebce29501d3ab40ed2e3fc0884715047269c8deb9c06
|
|
|
.logs-4.14.x-Windows
Expired
|
205 KB |
sha256:187fd2e5be3003e6e2429c21b311c61b020d534be856ff299b975c72fcd92a1e
|
|
|
.logs-4.14.x-macOS
Expired
|
204 KB |
sha256:92f6e394505683200b1c478d97d85356fed9975108ffd77283ba5bbd07cacbc4
|
|
|
.logs-5.2.x-Linux
Expired
|
202 KB |
sha256:86f308fdb332769a62a1b3092a423fb84f848bdcc51ec9e325e86a735d99babf
|
|
|
.logs-5.2.x-Windows
Expired
|
204 KB |
sha256:9700fb07fff3fd4ec896cee0fa6aacc6e4ee37f20a87f817cb5bcac63f691c67
|
|
|
.logs-5.2.x-macOS
Expired
|
203 KB |
sha256:b1f51ab6fdaa145375eafc1cac74eef2d85cac70559717cd781b04463748e5f0
|
|
|
benchmark-plot
Expired
|
113 KB |
sha256:124fc391aaaaf076cbf09debe9f63abd638ac2dede364234ca91357eeab60e11
|
|
|
elpi-4.14.x-Linux
Expired
|
2.33 MB |
sha256:757ea2b1df1fbce6f7520f350a2e663b6d1de1c5d99df76ddacd72c6099a8d74
|
|
|
elpi-4.14.x-Windows
Expired
|
1.92 MB |
sha256:8df84dcd01b6c2a8b2bae4809727bbb61905cc81673437c1cd594ae3b18b0439
|
|
|
elpi-4.14.x-macOS
Expired
|
1.92 MB |
sha256:bc7a7507106a2c07218b80c246980f0cd14a4963c06d4891dc506f9f2a72a8a5
|
|
|
elpi-5.2.x-Linux
Expired
|
2.62 MB |
sha256:d30a00c5b9901816c6e60fcc880d58bea76702d06e150b1b509722adbe10cfc3
|
|
|
elpi-5.2.x-Windows
Expired
|
2.28 MB |
sha256:8454b4cabd3b3ecbc5d14281b5c7b3fb7f107af6804a3fb662b46b751ae34f88
|
|
|
elpi-5.2.x-macOS
Expired
|
2.19 MB |
sha256:8d5679265ade726feb588b1477994bb905ded8add3799f3893d9468d6424da90
|
|