Something strange going on with windows CI and flushing
If you have a splice which writes to stdout on windows then for some reason the output doesn't show up on CI unless you explicitly flush.
-- () will not be printed $(liftIO $ print ())
If you add a flush then it works
-- () will be printed $(liftIO $ print () >> hFlush stdout)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information