Andreas Abel

> @andreasabel I sent you an invite to be a contributor to acid-state so you can pull these yourself, but the invite expired. Are you not interested or did you...

@step Thanks, I received a new invitation and accepted it. Strangely, it does not show up in my github notifications (and I do not regularly read email); so this is...

Added`base < 4.14` constraint to `dimensions < 2` packages on Hackage.

@wenkokke wrote: > Would you support upstreaming this action to a repository `agda/actions` in a subdirectory `setup`? Is the Agda organisation eligible for (reasonably) unlimited and free GitHub Actions usage?...

> > Uses of `agda/actions/setup` would still run on the user's github account, I suppose? So we wouldn't "pay" anything by hosting this action? > > Yes, but the weekly...

@wenkokke : I checked, but I think you already have the right to create new repos on the `agda` organization, so, welcome to go ahead!

> Would you support upstreaming this action to a repository `agda/actions` in a subdirectory `setup`? I found out that GitHub Marketplace wants single-action repos. Cf: - https://github.com/haskell/actions/issues/141 Thus, the home...

@wenkokke : Any news on this? You could simply transfer this repo to the `agda` organisation, no renaming needed. Greetings from AIM XXXVII!

Ci passes: - https://github.com/andreasabel/cborg/pull/1

I did revisions of the zlib bounds on hackage, to fix this issue: - https://github.com/commercialhaskell/stackage/issues/7309