Skip to content
Snippets Groups Projects
Commit 3d2cc3da authored by Jean-Paul Calderone's avatar Jean-Paul Calderone
Browse files

make it work on CI which doesn't enter the dev shell, too

parent 11f8ab65
No related branches found
No related tags found
1 merge request!13Auto generate cabal project
Pipeline #4739 passed
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment