This website requires JavaScript.
Explore
Help
Sign In
chrisdone
chrisdone
0 Followers
·
0 Following
Joined on
2022-04-11
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
2
Projects
Packages
Public Activity
Starred Repositories
chrisdone
synced commits to
refs/pull/32/merge
at
chrisdone/ini
from mirror
2024-06-24 13:16:24 +03:00
707a74e94b
Merge
21ed4e6246
into
c4cfe3aa9f
21ed4e6246
Modify mappend to avoid discarding
092dd89d38
Bump CI to GHC 9.6.0, 9.4.4 and 9.2.5
dabb2ec567
Release 0.4.2: CHANGELOG, README badges, allow latest semigroup
5939aa6123
ini.cabal: new maintainer, TypeOperators, tested-with GHC 9.4.1
Compare 9 commits »
chrisdone
synced commits to
master
at
chrisdone/duet
from mirror
2023-05-08 03:30:46 +03:00
db305103f7
Upgrade lts-12.12 -> lts-20.20