Skip to content

Actions: Bodigrim/logict

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix warning in tests Haskell-CI #143: Commit 2545002 pushed by Bodigrim
October 15, 2024 21:44 3m 55s master
master
October 15, 2024 21:44 3m 55s
Implement incoherent instance MonadLogic Logic and elaborate (>>-) in… Haskell-CI #142: Commit cd0457b pushed by Bodigrim
September 9, 2024 21:36 2m 50s master
master
September 9, 2024 21:36 2m 50s
Implement incoherent instance MonadLogic Logic Haskell-CI #141: Commit be32556 pushed by Bodigrim
September 8, 2024 14:11 3m 2s master
master
September 8, 2024 14:11 3m 2s
Implement incoherent instance MonadLogic Logic Haskell-CI #140: Commit 8997b19 pushed by Bodigrim
September 7, 2024 19:18 2m 55s master
master
September 7, 2024 19:18 2m 55s
Implement incoherent instance MonadLogic Logic Haskell-CI #139: Commit 52f2485 pushed by Bodigrim
September 7, 2024 14:09 3m 50s master
master
September 7, 2024 14:09 3m 50s
Expand comment on (un)fair conjunction Haskell-CI #138: Commit 050b3a8 pushed by Bodigrim
August 14, 2024 21:53 2m 46s master
master
August 14, 2024 21:53 2m 46s
Make cabal check happy Haskell-CI #137: Commit 659fbd0 pushed by Bodigrim
August 8, 2024 21:25 3m 11s master
master
August 8, 2024 21:25 3m 11s
Make hlint happy Haskell-CI #136: Commit c6fc501 pushed by Bodigrim
August 8, 2024 21:12 3m 13s master
master
August 8, 2024 21:12 3m 13s
Add instance IsList (Logic a) Haskell-CI #135: Commit a25b089 pushed by Bodigrim
August 8, 2024 20:55 2m 53s master
master
August 8, 2024 20:55 2m 53s
Add instance IsList (Logic a) Haskell-CI #134: Commit 41540af pushed by Bodigrim
August 8, 2024 00:30 2m 58s master
master
August 8, 2024 00:30 2m 58s
Drop support of GHC < 8.0 Haskell-CI #133: Commit 508af6b pushed by Bodigrim
August 8, 2024 00:21 3m 53s master
master
August 8, 2024 00:21 3m 53s
Restrict imports from Control.Monad.Catch to avoid shadowing Haskell-CI #132: Commit 7f5a753 pushed by Bodigrim
August 8, 2024 00:14 4m 18s master
master
August 8, 2024 00:14 4m 18s
Allow tasty-1.5 Haskell-CI #131: Commit 95ab8b3 pushed by Bodigrim
September 10, 2023 10:14 6m 3s master
master
September 10, 2023 10:14 6m 3s
build: add .gitignore Haskell-CI #130: Commit 0a46110 pushed by Bodigrim
August 14, 2023 21:49 4m 5s master
master
August 14, 2023 21:49 4m 5s
feat: add instance for MonadThrow and MonadCatch Haskell-CI #129: Commit 5d50025 pushed by Bodigrim
August 11, 2023 18:20 5m 20s master
master
August 11, 2023 18:20 5m 20s
feat: add instance for MonadThrow and MonadCatch Haskell-CI #128: Pull request #37 opened by ncaq
August 11, 2023 08:17 6m 31s ncaq:add-exceptions
ncaq:add-exceptions
August 11, 2023 08:17 6m 31s
build: add .gitignore Haskell-CI #127: Pull request #36 opened by ncaq
August 11, 2023 07:35 5m 2s ncaq:add-gitignore
ncaq:add-gitignore
August 11, 2023 07:35 5m 2s