Skip to content
dune CI

Merge pull request #175 from sipma/functionannotations #127

Sign in to view logs

Merge pull request #175 from sipma/functionannotations

Merge pull request #175 from sipma/functionannotations #127

Triggered via push February 5, 2025 08:42
@sipmasipma
pushed 3b77c9d
master
Status Success
Total duration 8m 4s
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.7 MB
sha256:9f0e1fa0549d8675d42a6d7fd3423cfe8f41cd3772c3040b2604ca971431f3be
artifacts-4.13.1 Expired
74.2 MB
sha256:ab54c5a67aecde52d2e1af05ca7fab5d469f5d4341c879b2799060064bfc21e2
artifacts-4.14.1 Expired
74.9 MB
sha256:aa8030f0b0fca54f9f1e85cf39e67784caae98b52d19caefbd60110f60e7c510
artifacts-5.0.0 Expired
80.5 MB
sha256:3a6ed6be2970130d9af6eb3247888eb7d2eb231b735235bf526e51744677703a
artifacts-5.1.1 Expired
81.5 MB
sha256:d1d7ebf8937d080a20dfb341e2749beb10de99fc4d686b284b01a4892aec8f07