diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-01-11 19:33:54 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-01-11 21:55:28 +0100 |
| commit | 17998a5e8d386b58d30d138ea8dbc565955cccc6 (patch) | |
| tree | 3bad48996590b33c1d64557b31a4fca8221eca18 /minici.cabal | |
| parent | 61a9e98239cf01e91ca079ef176602efe0077dde (diff) | |
Concurrently run jobs for multiple commits
Changelog: Concurrently run jobs for multiple commits
Diffstat (limited to 'minici.cabal')
| -rw-r--r-- | minici.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/minici.cabal b/minici.cabal index 7f20ac1..6b298f6 100644 --- a/minici.cabal +++ b/minici.cabal @@ -54,6 +54,7 @@ executable minici Job.Types Paths_minici Repo + Terminal Version Version.Git autogen-modules: |