Types are separated from terms #806
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
31s
Annotations
6 errors
|
Build and test elpi (ubuntu-latest, 4.14.x, dev)
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 (ubuntu-latest, 5.2.x, fatalwarnings)
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
|
1.74 KB |
sha256:0e3cb6adf38ee0125152c01b519d448811f1d9f02f1513940ea8e6bd04fadf41
|
|
|
.benchmark-4.14.x-Windows
Expired
|
1.62 KB |
sha256:14fb67655b4acd2fd5370aae39b44d3c2f397d31322a21297b8d32212a8a082b
|
|
|
.benchmark-4.14.x-macOS
Expired
|
1.86 KB |
sha256:8fb93b90486189e6e505bc5851cdfe71d4f01d67a7648489ba4bebac28fa0592
|
|
|
.benchmark-5.2.x-Linux
Expired
|
1.73 KB |
sha256:0f5ee31f4be82da7b1799fd215cedfcc160b85531533950263157275b07fb96a
|
|
|
.benchmark-5.2.x-Windows
Expired
|
1.63 KB |
sha256:d3d48f1650f7763b95f0b3023db18b0c02390217474a518d2fc16ddbb16337e8
|
|
|
.benchmark-5.2.x-macOS
Expired
|
1.86 KB |
sha256:bbb2262754345e3737b35af286b208115e51011a18d9851272fd6e89c1c5c5c0
|
|
|
.logs-4.14.x-Linux
Expired
|
1.56 MB |
sha256:c8108163f0d1a4554b0c06590e8ce036034795d4a7bbe9792c0ff07e1cdac4a1
|
|
|
.logs-4.14.x-Windows
Expired
|
1.57 MB |
sha256:ced8b7a86d80b33c653a4ca76bc0195d9bfb393e67686b0f2bb2236e63e3c0e7
|
|
|
.logs-4.14.x-macOS
Expired
|
1.57 MB |
sha256:44c8c7c8e06e1d8e42f74fdca85a10a013af40a14ecfffcd8c23542422530d68
|
|
|
.logs-5.2.x-Linux
Expired
|
1.56 MB |
sha256:a47b5791b72ca6ae19a7c1668e069001bb69ad03481bf07d5c79111258666476
|
|
|
.logs-5.2.x-Windows
Expired
|
1.57 MB |
sha256:1f325f5fc1087e193901d1a8d5ca1cd455f2e7e126498cc2fd4b272d320ad062
|
|
|
.logs-5.2.x-macOS
Expired
|
1.56 MB |
sha256:1cd55a1de2edd8ad9cf9595c3c7708fb7d25f3994d33790ea71a2de15e03ff50
|
|
|
benchmark-plot
Expired
|
104 KB |
sha256:89c364b40bc8c6b2502c16f4f8059e712048ca004cdd287a5ad957c770cab37a
|
|
|
elpi-4.14.x-Linux
Expired
|
2.33 MB |
sha256:e5c6e591987d81020bd4cc5f74ae4ab61c220808ee6c057e48c008be0a073db8
|
|
|
elpi-4.14.x-Windows
Expired
|
1.92 MB |
sha256:102482209343b4faca4d0a5231a0c297902529ae3982a4baf92a9157ae2d08a6
|
|
|
elpi-4.14.x-macOS
Expired
|
1.92 MB |
sha256:61af8b5c65384f714220f57504e03a01777118b2f184a458ed5dbcb2fcb68c66
|
|
|
elpi-5.2.x-Linux
Expired
|
2.62 MB |
sha256:1d81993fd6fee0d4666ccfa885a5dafdcc9ef50bd1173c8a28a57146cd5e170e
|
|
|
elpi-5.2.x-Windows
Expired
|
2.28 MB |
sha256:4979aef93dcfafde925aebc6468c4df59fa2ce8db7d439c203caf6449a9aab4c
|
|
|
elpi-5.2.x-macOS
Expired
|
2.19 MB |
sha256:c21790e62d41b4fd7cf4a34e6537ccbb5c9ea499be6615d051d29ca43566f0e0
|
|