Skip to content

Actions: haskellari/lattices

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: products of Heyting algebras Haskell-CI #59: Pull request #136 opened by jameshaydon
3m 18s jameshaydon:master
jameshaydon:master
3m 18s
Merge pull request #135 from haskellari/QC-2.16 Haskell-CI #58: Commit b0dea6d pushed by phadej
6m 59s master
master
6m 59s
Allow QuickCheck-2.16 Haskell-CI #57: Pull request #135 opened by phadej
38m 2s QC-2.16
QC-2.16
38m 2s
Merge pull request #134 from haskellari/updates Haskell-CI #56: Commit ddae50f pushed by phadej
7m 47s master
master
7m 47s
Updates: GHC versions in CI, unused dev things Haskell-CI #55: Pull request #134 opened by phadej
7m 55s updates
updates
7m 55s
Merge pull request #123 from instinctive/patch-1 Haskell-CI #53: Commit 8806db8 pushed by phadej
7m 11s master
master
7m 11s
Merge pull request #130 from haskellari/ci-update Haskell-CI #52: Commit c3ed6e6 pushed by phadej
4m 15s master
master
4m 15s
Remove allow-newer from cabal.project Haskell-CI #51: Pull request #130 opened by phadej
3m 32s ci-update
ci-update
3m 32s
Merge pull request #129 from haskellari/ghc-9.12 Haskell-CI #50: Commit 96a350d pushed by phadej
14m 40s master
master
14m 40s
Support GHC-9.12 Haskell-CI #49: Pull request #129 synchronize by phadej
9m 52s ghc-9.12
ghc-9.12
9m 52s
Support GHC-9.12 Haskell-CI #48: Pull request #129 synchronize by phadej
4m 0s ghc-9.12
ghc-9.12
4m 0s
Support GHC-9.12 Haskell-CI #47: Pull request #129 opened by phadej
10m 12s ghc-9.12
ghc-9.12
10m 12s