Skip to content
Test matrix

Interface: Use kind-inference for outcome variables #393

Sign in to view logs

Interface: Use kind-inference for outcome variables

Interface: Use kind-inference for outcome variables #393

Triggered via pull request March 21, 2025 16:19
@AlasdairAlasdair
opened #1185
outvar_infer
Status Success
Total duration 22m 45s
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.13 KB
sha256:53185914e0c1b62c5e0cbf765b1dc6c897a5616cb93cb989e839aa6a6e3fa272
test-results-exec
172 KB
sha256:d07079e480e45d3aa04886ca91a81fe51283920237221ba570b89e88f2ca7710
test-results-other
165 KB
sha256:f8d7b279ea484ab9b026dad0fce66b5e6fab39006a64fb3e6d4286ffd9186a53
test-results-prover
181 KB
sha256:784e3d119b791dfda04e40b4b095ee995ee111389f420eaf76cd6385e90508de
test-results-sv
167 KB
sha256:7e6e2a7ed2cf7ad667a6671549686c6bff06448d69bb0d7d2e6b62f3de8ae179
test-results-typecheck
160 KB
sha256:9c2ffd2694336708cc26fa8e9c963bd978670ee85a3378972cdb31cfa42afbda