Code

Add glob support to dune-action-plugin#3

Code

Open

staronj wants to merge 1 commit intodune_action_pluginstaronj/dune:dune_action_pluginfrom dune_action_plugin_glob_supportstaronj/dune:dune_action_plugin_glob_supportCopy head branch name to clipboard

+162-6

Commits

Commits on Sep 12, 2019

• Adds support for globs in dune-action-plugin.

  Show description for d9c370e
  

  aalekseyev

  authored and

  staronj

  committed
  d9c370e