Skip to content

Typereconstruction #214

Typereconstruction

Typereconstruction #214

Triggered via pull request October 12, 2025 06:15
Status Success
Total duration 8m 40s
Artifacts 5

dune.yaml

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

Annotations

2 warnings
Compile and test CodeHawk (4.14.1)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-477a2186c0ca63149e7cf7c15c3fbe76fe387cfd6992e58be1e4f2fe5c2c03a5, another job may be creating this cache.
Compile and test CodeHawk (4.12.1)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-a5e1d6bab68e73fe94899b5520a8e6ec0975a2aed9c430cb43911ab6a3dec85a, another job may be creating this cache.

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1
73 MB
sha256:929db68c7ad2b78131204df07791cd3991ada10fc3ddbf416dc52aeb7149a687
artifacts-4.13.1
74.5 MB
sha256:155e628ba6e876c9113685820825afda1c9ec5506b51fc9c24db6998e6b15cd7
artifacts-4.14.1
75.2 MB
sha256:fc5047c83d56dd3d1c3f2344f31e13c13ef6949c8f80bd39615fce0ea99d960f
artifacts-5.0.0
80.8 MB
sha256:f288da12060cecbb5b804889a436d757d0c59a60559372b2636363768ca6de90
artifacts-5.1.1
81.8 MB
sha256:3ca25f144b9706ea690d7936226eb06c22f67d94c1a90814f63dff65c595ce1d