Skip to content

Activity

Showing most recent first

Add needed deps

MA0010created dep_optimization3 • d9a4c58 • 
on Sep 20, 2024

Add lazy mode to build_deps

Force push
MA0010force pushed to dep_optimization • eae7315…a364644 • 
on Sep 17, 2024

Add lazy mode to build_deps

MA0010created dep_optimization_backup • eae7315 • 
on Sep 16, 2024

Add lazy mode to build_deps

Force push
MA0010force pushed to dep_optimization • 8f6a480…eae7315 • 
on Sep 16, 2024

Add lazy mode to build_deps

Force push
MA0010force pushed to dep_optimization • 4381641…8f6a480 • 
on Sep 16, 2024

Add lazy mode to build_deps

Force push
MA0010force pushed to dep_optimization • 4655846…4381641 • 
on Sep 16, 2024

Integration with upstream

Force push
MA0010force pushed to dep_optimization • ecafdc4…4655846 • 
on Sep 13, 2024

merging upstream

MA0010pushed 72 commits to dep_optimization • f7d4dcc…ecafdc4 • 
on Sep 11, 2024

Add lazy mode to build_deps

Force push
MA0010force pushed to dep_optimization • 64db594…f7d4dcc • 
on Sep 10, 2024

minor changes

MA0010pushed 3 commits to dep_optimization • 657603b…64db594 • 
on Sep 10, 2024

Some corrections

MA0010pushed 1 commit to dep_optimization • 618281b…657603b • 
on Sep 3, 2024

minor changes

MA0010pushed 4 commits to dep_optimization • a2e0fb1…618281b • 
on Sep 3, 2024

Add needed_deps to shared cache (initial version)

MA0010pushed 1 commit to dep_optimization • 3aac191…a2e0fb1 • 
on Aug 29, 2024

formatting

MA0010pushed 1 commit to dep_optimization • 97e06a6…3aac191 • 
on Aug 26, 2024

separating Dep module from dune_engine to avoid cycle dependency with…

MA0010pushed 3 commits to dep_optimization • 2e906ea…97e06a6 • 
on Aug 26, 2024

code tweaks 5.0

Force push
MA0010force pushed to dep_optimization • bf03c78…2e906ea • 
on Aug 14, 2024

code tweaks 5.0

MA0010pushed 2 commits to dep_optimization • 1f83184…bf03c78 • 
on Aug 14, 2024

formatting

Force push
MA0010force pushed to dep_optimization • d6157a2…1f83184 • 
on Aug 13, 2024

formatting

MA0010pushed 1 commit to dep_optimization • 9185aff…d6157a2 • 
on Aug 12, 2024

Guard the new features against Dune version >= 3.18

MA0010pushed 2 commits to dep_optimization • b494891…9185aff • 
on Aug 12, 2024

tests for order-only and needed_deps

MA0010pushed 2 commits to dep_optimization • da44753…b494891 • 
on Aug 12, 2024

suggested tweaks 3.0

MA0010pushed 1 commit to dep_optimization • 05bdf6e…da44753 • 
on Aug 8, 2024

suggested tweaks 2.0

MA0010pushed 1 commit to dep_optimization • 7c76415…05bdf6e • 
on Aug 6, 2024

merging conflicts

Force push
MA0010force pushed to dep_optimization • c577691…7c76415 • 
on Aug 5, 2024

merging conflicts

MA0010created dep_optimization • c577691 • 
on Aug 5, 2024

Deleted branch

MA0010deleted hidden_deps • 
on Jul 10, 2024

final formatting

MA0010pushed 1 commit to hidden_deps • c11722d…f1882cc • 
on Jun 27, 2024

tweaks

MA0010pushed 6 commits to hidden_deps • 80a1c02…c11722d • 
on Jun 27, 2024

Merge pull request #1 from nojb/hidden-deps-simplify

Pull request merge
MA0010pushed 3 commits to hidden_deps • 51d6e2f…80a1c02 • 
on Jun 27, 2024

cosmetic tweaks

MA0010pushed 1 commit to hidden_deps • 6ef7f54…51d6e2f • 
on Jun 27, 2024