Skip to content
dune CI

CHB:ARM: save typing rule applications #177

Sign in to view logs

CHB:ARM: save typing rule applications

CHB:ARM: save typing rule applications #177

Triggered via push July 23, 2025 05:57
@sipmasipma
pushed 164770f
master
Status Success
Total duration 9m 21s
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

Annotations

1 warning
Compile and test CodeHawk (4.14.1)
Failed to save: Unable to reserve cache with key v3-setup-ocaml-opam-d902c3b06c951f21cd4fbbc2178862d9cc038bfb5dadef74c1afc4cb2a6d7743, another job may be creating this cache.

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1 Expired
72.9 MB
sha256:00691e496f687eb829358cec4e5f24e2995a535525945fc05d3c05022315f482
artifacts-4.13.1 Expired
74.4 MB
sha256:74d60115134e8a5cd023268013a088e7db27839ac3078992b67c745e3e51aa13
artifacts-4.14.1 Expired
75.1 MB
sha256:ec19f02ed01714c89f6d8a6f1427f08205e3c3794cddb92e9b0f881614d765a6
artifacts-5.0.0 Expired
80.7 MB
sha256:557afe064f63a363e8783d73bb7bc815b62a63b90e3ef0e68131b8ebd41701e4
artifacts-5.1.1 Expired
81.7 MB
sha256:543dcb06b3ff2c4f4f0637a1a6790bd28ba6e14922a4ca54ead0057193ffd49b