Skip to content

Merge pull request #50 from katrinafyi/nixpkgs-update-for-dune-3-17 #732

Merge pull request #50 from katrinafyi/nixpkgs-update-for-dune-3-17

Merge pull request #50 from katrinafyi/nixpkgs-update-for-dune-3-17 #732

Annotations

1 error and 1 warning

build (macos-latest, retdec5)

succeeded Feb 11, 2025 in 10m 28s