jchavarri / dune / 655

Builds Branch Commit Type Ran Committer Via Coverage
655 main Document how to add DCO in a hook (#7363) push GitHub github pending completion   set done
646 main feature: add action runners (#6737) push GitHub github pending completion   set done
643 main feature: add action runners (#6737) push GitHub github pending completion   set done
636 main raise error when using describe pp command with staged_pps (#7167) push GitHub github pending completion   set done
633 main Add monorepo benchmark (#7202) push GitHub github pending completion   set done
629 main refactor(csexp_rpc): remove useless socket arg (#7318) push GitHub github
41.59
624 main fix(stdlib): pass flags when building stdlib.ml (#7241) push GitHub github pending completion   set done
623 main fix: move setting no sigpipe to right place (#7313) push GitHub github
40.8
620 main chore: improve file copying benchmark (#7294) push GitHub github pending completion   set done
619 jchavarri/chore-consolidate-rule-production-streaming Merge branch 'main' into jchavarri/chore-consolidate-rule-production-streaming push GitHub github
40.78
616 main fix(coq): fix duplicate dir targets being detected before theories (#7263) push GitHub github pending completion   set done
612 main chore(nix): remove the opam2nix dependency on the default package (#7258) push GitHub github pending completion   set done
611 main coq_config: Add coqcorelib push Ali Caglayan github
40.78
593 main melange: replace `module_system` and `javascript_extension` (#7193) push GitHub github pending completion   set done
590 perf/run-parse_compilation_units-once _ push Rudi Grinberg github pending completion   set done