Skip to content

Update README for dune-built CodeHawk#54

Merged
sipma merged 1 commit into
static-analysis-engineering:masterfrom
brk:standardize-on-dune
Jun 2, 2025
Merged

Update README for dune-built CodeHawk#54
sipma merged 1 commit into
static-analysis-engineering:masterfrom
brk:standardize-on-dune

Update README for dune-built CodeHawk

d63b2c0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error

The logs for this run have expired and are no longer available.