Skip to content
Makefile CI

Standardize on using dune to build CodeHawk #162

Sign in to view logs

Standardize on using dune to build CodeHawk

Standardize on using dune to build CodeHawk #162

Triggered via pull request May 19, 2025 01:59
@brkbrk
synchronize #196
brk:standardize-on-dune
Status Success
Total duration 5m 31s
Artifacts 3

makefiles.yaml

on: pull_request
Matrix: Compile 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
12.5 MB
sha256:103d3056970475e3700ff591ee87eb047eefcbda4077df4de20c62cf159949d1
artifacts-4.13.1 Expired
12.8 MB
sha256:637b829aeaa489cc7f61f4dee6a5985f4b62eb0d9ee07efff9518562cad0eaa7
artifacts-4.14.1 Expired
12.8 MB
sha256:1afddbd823e1471bf3a8901aec4eb61831a7bf32b55fa56ad00ade34fd11b1ef