Types are separated from terms #807
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
26s
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
|
1.74 KB |
sha256:716416bfa8e52a308be97bd3bc0c7881b850f20a961bcc54bbbc784e7e310944
|
|
|
.benchmark-4.14.x-Windows
Expired
|
1.6 KB |
sha256:44f03397c04afaa4450f41d2f972809f7f23278eac0f5a81e18f3482b1929c25
|
|
|
.benchmark-4.14.x-macOS
Expired
|
1.84 KB |
sha256:a65d2da1440ae1635ce60dee1ecd5e32f15d49538a782271bf8534a347abbc4c
|
|
|
.benchmark-5.2.x-Linux
Expired
|
1.75 KB |
sha256:5d37550cf497be52e5c9275f17e9fa7c8ff57f633f993b96986a985fb70677aa
|
|
|
.benchmark-5.2.x-Windows
Expired
|
1.58 KB |
sha256:61dfa08539b7859a23eda8406df98b983a36396b27a0d50456e6a1f922a628ff
|
|
|
.benchmark-5.2.x-macOS
Expired
|
1.87 KB |
sha256:317cee1646d54187f7937a1d9c4d425750685d779d0ff3a330b84bb6b6d16994
|
|
|
.logs-4.14.x-Linux
Expired
|
148 KB |
sha256:9bbb9242f485fa52728332954bd5b84b9e82b062a2dbb07510ca01017f3c605f
|
|
|
.logs-4.14.x-Windows
Expired
|
149 KB |
sha256:6460ad4d9c54dd65e85eded1baabf909a7788927a940d06f80af586225317c84
|
|
|
.logs-4.14.x-macOS
Expired
|
148 KB |
sha256:674ed38939f4ab6075bff549929e148118492cc4f711864d9282afe46094331b
|
|
|
.logs-5.2.x-Linux
Expired
|
147 KB |
sha256:7c727e2000c0b35202c5da4ac7da02ea2b468034f45e10df776399909e01e8c1
|
|
|
.logs-5.2.x-Windows
Expired
|
148 KB |
sha256:615a782d5db42efb0988cd5412658dd601206a7e371f79826cf1c3def44725b6
|
|
|
.logs-5.2.x-macOS
Expired
|
148 KB |
sha256:ccc484a66bb01451bc8ba9f2c9d2d6650fbf68749b1722609ea6763bf2f2cc0a
|
|
|
benchmark-plot
Expired
|
105 KB |
sha256:940080fe9c8cfeaa44bb542cf853126dad9f5656755cee4e43e32e139d954c9e
|
|
|
elpi-4.14.x-Linux
Expired
|
2.33 MB |
sha256:5e354a7006ec4a2eb7fb806437630f2fb7525aaf066536780afe2ddb26dc71ef
|
|
|
elpi-4.14.x-Windows
Expired
|
1.92 MB |
sha256:446cf6b7f3bda79ca7b6625b89c043b765e16cf96f9ef8d988ce2f29d6a0992c
|
|
|
elpi-4.14.x-macOS
Expired
|
1.92 MB |
sha256:ad6df558d5719f15d8f2fc57bcf81321ec7ead624e40206c28b5de8d9960962e
|
|
|
elpi-5.2.x-Linux
Expired
|
2.62 MB |
sha256:a28b02869b2eb2091efe7db6bbe848a5b4c19ef3264d53f347d7d403f929019d
|
|
|
elpi-5.2.x-Windows
Expired
|
2.28 MB |
sha256:f297bce2d37f04f0311ebfd46f23c97fd19540fe3ac57930693c1a929e217786
|
|
|
elpi-5.2.x-macOS
Expired
|
2.19 MB |
sha256:74af97fc9a5b8cd3a67314ed1cd84eba0c8f73c0e28e129c6acf8192de5a8e03
|
|