msakai's Repositories

msakai / data-interval

87%

Build #80: Fix warnings on branch master 3 days ago

master: 87%

msakai / cpl

There have been no builds for this repo.

msakai / toysolver

72%

Build #778: Merge pull request #198 from msakai/feature/ci-parallel-compilation CI: Pass --ghc-opt... on branch master 3 months ago

master: 72%

msakai / pseudo-boolean

93%

Build #132: release v0.1.12.0 on branch HEAD 5 months ago

HEAD: 92%

msakai / bytestring-encoding

73%

Build #74: Merge pull request #14 from msakai/update-stack-resolver-202503 Update stack resolvers... on branch master 6 months ago

master: 73%

msakai / haskell-MIP

77%

Build #246: Merge 843abba85b80f70d6fedf28200d875f95a0fd4c8 into 96285dc202b556aa87d59b59572ba527e6a... on branch HEAD 7 months ago

HEAD: 77%

msakai / sign

90%

Build #33: relax hashable upper bound to allow hashable-1.5.* on branch master 10 months ago

master: 90%

msakai / haskell-sequitur

59%

Build #69: Merge pull request #18 from MangoIV/mangoiv/bump-containers [chore] bump containers to... on branch main 10 months ago

main: 59%

msakai / haskell-decision-diagrams

88%

Build #227: Merge pull request #33 from msakai/update-stack-lts-202208 on branch main about 3 years ago

main: 88%

msakai / extended-reals

92%

Build #11: <a href="https://github.com/msakai/extended-reals/commit/533870ef136be1aa39e239d285f752... on branch HEAD about 3 years ago

HEAD: 92%

msakai / finite-field

72%

Build #6: GitHub Actions: create source tarball by 'stack sdist' on branch master over 4 years ago

master: 72%