Skip to content

Actions: haskellari/lattices

Actions

Haskell-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
haskell-ci.yml
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