Commit History

Author SHA1 Message Date
  Zeta f30a63f9d6 Move all prebuild functionality into dune, take 2 (#11983) 8 months ago
  Simon Krajewski c85f26957a Revert "Move all prebuild functionality into dune. (#11966)" 8 months ago
  Zeta eaf9dc7676 Move all prebuild functionality into dune. (#11966) 8 months ago
  Rudy Ges 6f15597dda [dune] update to dune 3.0 (#10925) 2 years ago
  Simon Krajewski 594d3646a3 Migration to dune (#8801) 6 years ago