Skip to content

refactor: fix against newer versions of dune #2520

refactor: fix against newer versions of dune

refactor: fix against newer versions of dune #2520

Triggered via pull request October 16, 2023 17:07
Status Success
Total duration 3m 0s
Artifacts

nix.yml

on: pull_request
Fit to window
Zoom out
Zoom in