Skip to content

Activity

Showing most recent first

Deleted branch

shymdeleted plugin-meta • 
on May 22, 2024

Add a changelog entry

shympushed 1 commit to plugin-meta • 03220ab…35db5fd • 
on May 22, 2024

Merge branch 'main' into plugin-meta

emillonpushed 49 commits to plugin-meta • 46f276c…03220ab • 
on May 22, 2024

Merge branch 'main' into plugin-meta

anmonteiropushed 22 commits to plugin-meta • 87980b6…46f276c • 
on May 9, 2024

Update otherlibs/dune-site/test/opam-uninstall.t

anmonteiropushed 1 commit to plugin-meta • 7607948…87980b6 • 
on May 9, 2024

Look for META files rather than just directories to list plugins

Force push
shymforce pushed to plugin-meta • 7658834…7607948 • 
on Apr 26, 2024

Look for META files rather than just directories to list plugins

Force push
shymforce pushed to plugin-meta • c177103…7658834 • 
on Apr 26, 2024

Update otherlibs/dune-site/src/plugins/plugins.ml

shympushed 1 commit to plugin-meta • 3c30884…c177103 • 
on Apr 26, 2024

Look for META files rather than just directories to list plugins

Force push
shymforce pushed to plugin-meta • d46c45b…3c30884 • 
on Apr 25, 2024

Look for META files rather than just directories to list plugins

Force push
shymforce pushed to plugin-meta • f4b0868…d46c45b • 
on Apr 25, 2024

WIP

shymcreated plugin-meta • f4b0868 • 
on Apr 25, 2024

Deleted branch

shymdeleted macro-redef • 
on Sep 29, 2023

Avoid a warning of the C compiler on Windows

Force push
shymforce pushed to macro-redef • 059ade9…d467de9 • 
on Sep 29, 2023

Avoid a warning of the C compiler on Windows

shymcreated macro-redef • 059ade9 • 
on Sep 29, 2023

test: Add a test for site plugins with two plugins

Force push
shymforce pushed to test-2plugins • 3478aa1…852ba98 • 
on Aug 22, 2023

test: Add a test for site plugins with two plugins

Force push
shymforce pushed to test-2plugins • d04069e…3478aa1 • 
on Aug 21, 2023

test: Add a test for site plugins with two plugins

Force push
shymforce pushed to test-2plugins • 9a2de63…d04069e • 
on Aug 21, 2023

test: Add a test for site plugins with two plugins

Force push
shymforce pushed to test-2plugins • cae1b47…9a2de63 • 
on Aug 21, 2023

test: Add a test for sites plugins with two plugins

Force push
shymforce pushed to test-2plugins • 9807c71…cae1b47 • 
on Jul 27, 2023

test: Add a test for sites plugins with two plugins

shymcreated test-2plugins • 9807c71 • 
on Jul 27, 2023