add algebra-tactics to ci #1288
main.yml
on: pull_request
Matrix: Build and test elpi
Aggregate and plot benchmarking data
1m 34s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
.benchmark-4.14.x-Linux
Expired
|
2.66 KB |
sha256:cca144a74bceab8433449377fec23e5976e2fda1bc2fe00e1d278ebc7089f038
|
|
|
.benchmark-4.14.x-Windows
Expired
|
2.24 KB |
sha256:dae4b4341c4c098a453e4beeee36e02468a8e55a865b9fc5aa092a525ac392fa
|
|
|
.benchmark-4.14.x-macOS
Expired
|
2.65 KB |
sha256:dff2a9998e7d6b3c41f2bd30636210726230681f88ab148e2dbdde7ea0fbe262
|
|
|
.benchmark-5.3.x-Linux
Expired
|
2.66 KB |
sha256:4726969e382a4a1f2a00db266c386c7088e5dc3e831798c3af0abee607459e4c
|
|
|
.benchmark-5.3.x-Windows
Expired
|
2.22 KB |
sha256:04fbb597ac7f2cd83705a48b338eaa0253cec3124424eb104f165552274edda6
|
|
|
.benchmark-5.3.x-macOS
Expired
|
2.66 KB |
sha256:da2071a97a994fddece7d0072b69edd85117e68d2c2a91b32670b3eff2acb8e8
|
|
|
.logs-4.14.x-Linux
Expired
|
220 KB |
sha256:3f83fed299b7617c25e95466d08f41d3e6baa21d34fa010e17e61ff5028e33f4
|
|
|
.logs-4.14.x-Windows
Expired
|
221 KB |
sha256:45cfd95944867867d4757442e737b562c8458871ae2dd21023a35345ec3a7876
|
|
|
.logs-4.14.x-macOS
Expired
|
221 KB |
sha256:76752611785a62a11dbdf6ce46388b80fe227e2f6c5ad70f877074c85fb7be47
|
|
|
.logs-5.3.x-Linux
Expired
|
218 KB |
sha256:02418ec535b3b32925f5ae8e0d925555d4ba57b6fd51ce63aa9240a06d83ef0d
|
|
|
.logs-5.3.x-Windows
Expired
|
219 KB |
sha256:37d6090e1a643339b2e35d73266c0724f6c3ba7937069971d689055fb31f646f
|
|
|
.logs-5.3.x-macOS
Expired
|
220 KB |
sha256:7fa91735a01d1fb791ab029db92f97f2c877dc1b5954e35b3e86823cf59b01dd
|
|
|
benchmark-plot
Expired
|
173 KB |
sha256:83b9511ebaa60040a5accdb5c152d9c849e316c227e91b0d2d7bf8c48054bf28
|
|
|
elpi-4.14.x-Linux
Expired
|
2.65 MB |
sha256:5dc71080ec8eaf3c39a36dfe7e11e3fcce7851ce0851fd22b900cc46f01ee7ee
|
|
|
elpi-4.14.x-Windows
Expired
|
2.17 MB |
sha256:66967e55b1b3cbafc7718ae6575ccd22cdeaa1c9cb10d4aa7bd40153f106ec70
|
|
|
elpi-4.14.x-macOS
Expired
|
2.19 MB |
sha256:2d89f00ce1ded34104fd31db29438b76ee99f439e87a3c78e7e5a6b312623501
|
|
|
elpi-5.3.x-Linux
Expired
|
2.97 MB |
sha256:57e904a7c18e8b2399412d137c81b48a78abf471453fba47339937ebcdb31f41
|
|
|
elpi-5.3.x-Windows
Expired
|
2.58 MB |
sha256:7b26ff75c229e1d92465b0e3a76b59d7cf37341c5fc6724248020f76df1c698c
|
|
|
elpi-5.3.x-macOS
Expired
|
2.52 MB |
sha256:c3789310479a6619798a390341f79d3dbcb25dd898c518fef760e559f697a576
|
|