Skip to content
dune CI

CHB:TI: allow join of struct type and type of first field #155

Sign in to view logs

CHB:TI: allow join of struct type and type of first field

CHB:TI: allow join of struct type and type of first field #155

Triggered via push April 21, 2025 08:43
@sipmasipma
pushed 71fe191
master
Status Success
Total duration 5m 12s
Artifacts 5

dune.yaml

on: push
Matrix: Compile and test CodeHawk
Matrix: Run CodeHawk-Binary tests
Matrix: Run CodeHawk-C tests
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1 Expired
72.8 MB
sha256:5b67402fd5e5be2dab84e273abfdfb68eed769b4432867ca7899e0aeaab1e1d6
artifacts-4.13.1 Expired
74.4 MB
sha256:4bd8b96c11d45bbc1dcef4c8ada13de913ade370f750ea9e1ffc373aef642955
artifacts-4.14.1 Expired
75 MB
sha256:03083abf568d94767015ca23732d39b668fffdb52c7ba15e830cf2b5560f0b11
artifacts-5.0.0 Expired
80.6 MB
sha256:ce4c72ae318f79b2c413eb94d7fc28a81f91b73b941db9be3d6def7d04962a05
artifacts-5.1.1 Expired
81.6 MB
sha256:5830d9c312f7e322d6cb9254adfdf7ba471759cce1abfac9aafb88a048e65f20