Leonhard Markert

Results 33 issues of Leonhard Markert

docs say "start" instead of "stop"

When I decorate a task with `@ec2instance`, it prompts me for a _password_ for the current _local user_ of my local host (instead of using the `awsfab-ssh-user` user and the...

Hi there, I'm trying to solve the following problem with awsfabrictasks: I would like to first start a certain number of instances, and then execute tasks on them. I wrote...

Hello Mike! `catlog.tex` includes a bibliography via `\bibliography{all}`. The corresponding `all.bib` bibliography file is not checked into the repository. https://github.com/mikeshulman/catlog/blob/master/catlog.tex#L47

The "Demo" and "Docs" links in the Readme are dead.

## What I'm seeing With `default_cache_ttl = 86400`, I see the following: A table view returns `Cache-control: max-age=86400`: ![Screenshot_20220228_190000](https://user-images.githubusercontent.com/697092/156034352-4d64683e-39c8-49af-81df-0217a5957bbd.png) A static asset returns no `Cache-control` header: ![Screenshot_20220228_185933](https://user-images.githubusercontent.com/697092/156034363-d0b03cc2-5889-4ed2-b601-8c1846b8469a.png) ## What I...

enhancement
performance
maybe-not-1.0

GHC 8.10.7 but not GHC 9.0.1 reports "Pattern match(es) are non-exhaustive" in a few places. https://github.com/ucsd-progsys/liquidhaskell/pull/1915 added `{-# OPTIONS_GHC -Wno-incomplete-patterns #-}` to files where this erroneous warning was reported since...

good first issue

`stack build` in the `liquidhaskell` directory gives: ``` liquid-base > /.../liquidhaskell/liquid-base/src/Control/Monad/Instances.hs:3:1: warning: [-Wdeprecations] liquid-base > Module ‘Control.Monad.Instances’ is deprecated: liquid-base > This module now contains no instances and will be...

`stack build` in the `liquidhaskell` directory gives: ``` liquid-bytestring> /.../liquidhaskell/liquid-bytestring/src/Data/ByteString/Lazy/Builder.hs:3:1: warning: [-Wdeprecations] liquid-bytestring> Module ‘Data.ByteString.Lazy.Builder’ is deprecated: liquid-bytestring> Use Data.ByteString.Builder instead liquid-bytestring> | liquid-bytestring> 3 | import "bytestring" Data.ByteString.Lazy.Builder as...

There is an error of the following form for each (?) of `RTypeF`'s fields: ``` liquidhaskell > /.../liquidhaskell/src/Language/Haskell/Liquid/Bare/Elaborate.hs:151:7: error: [-Wunused-top-binds, -Werror=unused-top-binds] liquidhaskell > Defined but not used: ‘rtf_var’ liquidhaskell >...