diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-03-14 21:18:17 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-03-14 21:39:14 +0100 |
| commit | 3bb1c548e2696abd3f7dc2d7b9fbc27ceb490c36 (patch) | |
| tree | 67cb5d9f33483fe5393bfda89b10b63c5420e962 /minici.cabal | |
| parent | f8b2df887d3847041a81b00dbea70db30b07eb92 (diff) | |
Evaluate repo definitions
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 7c05311..c0e7d00 100644 --- a/minici.cabal +++ b/minici.cabal @@ -51,6 +51,7 @@ executable minici Command.Checkout Command.Run Config + Eval Job Job.Types Paths_minici |