Skip to content
Test matrix

Lean: Partially fix remove_e_assign rewrite #380

Sign in to view logs

Lean: Partially fix remove_e_assign rewrite

Lean: Partially fix remove_e_assign rewrite #380

Triggered via pull request March 20, 2025 11:01
@AlasdairAlasdair
synchronize #1181
lean_remove_e_assign
Status Success
Total duration 22m 43s
Artifacts 6

test-matrix.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
event.json
3.47 KB
sha256:6fffa9196bd58f8064713abf7ec55bee7d6442b84401175feb41202137fa52fc
test-results-exec
172 KB
sha256:000e8bb5996ffc4305f0faf0f99f75adcf1893dbb978370c418c1ad7fadc4103
test-results-other
165 KB
sha256:ddd093ed21f7e6ccc83c660aed7c7c9654ec9f54f248ea8f17ff25786050a8ec
test-results-prover
181 KB
sha256:99f6a124738ca4ab2f6a8bcd6a6cdbc7fe01a7fbbb603abf52dc9805b22283bd
test-results-sv
167 KB
sha256:674bc3e5a8b872df94631a228bd4b536beced81c651d1570b72d70355fe167d6
test-results-typecheck
160 KB
sha256:a7c29ee3316c6455672d2ecade6cb72345b73612d8d77e8082f0526bc54038dc