Skip to content

Actions: lsrcz/grisette

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,162 workflow runs
2,162 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename symbolic operators Haskell Tests #553: Pull request #158 synchronize by lsrcz
January 6, 2024 18:57 29m 16s rename-symbolic-operators
rename-symbolic-operators
January 6, 2024 18:57 29m 16s
Rename symbolic operators HLint #552: Pull request #158 opened by lsrcz
January 6, 2024 18:55 43s rename-symbolic-operators
rename-symbolic-operators
January 6, 2024 18:55 43s
Rename symbolic operators Auto format by ormolu #552: Pull request #158 opened by lsrcz
January 6, 2024 18:55 23s rename-symbolic-operators
rename-symbolic-operators
January 6, 2024 18:55 23s
Rename symbolic operators Haskell Tests #552: Pull request #158 opened by lsrcz
January 6, 2024 18:55 3m 47s rename-symbolic-operators
rename-symbolic-operators
January 6, 2024 18:55 3m 47s
✨ Generalize SBVFreshMonad to transformers Auto format by ormolu #551: Commit 70c0aea pushed by lsrcz
January 6, 2024 18:49 25s main
main
January 6, 2024 18:49 25s
✨ Generalize SBVFreshMonad to transformers HLint #551: Commit 70c0aea pushed by lsrcz
January 6, 2024 18:49 37s main
main
January 6, 2024 18:49 37s
✨ Generalize SBVFreshMonad to transformers Haskell Tests #551: Commit 70c0aea pushed by lsrcz
January 6, 2024 18:49 24m 4s main
main
January 6, 2024 18:49 24m 4s
Generalize SBVFreshMonad to transformers HLint #550: Pull request #157 opened by lsrcz
January 6, 2024 17:59 32s feat-generalize-sbvfreshmonad
feat-generalize-sbvfreshmonad
January 6, 2024 17:59 32s
Generalize SBVFreshMonad to transformers Auto format by ormolu #550: Pull request #157 opened by lsrcz
January 6, 2024 17:59 24s feat-generalize-sbvfreshmonad
feat-generalize-sbvfreshmonad
January 6, 2024 17:59 24s
Generalize SBVFreshMonad to transformers Haskell Tests #550: Pull request #157 opened by lsrcz
January 6, 2024 17:59 1h 0m 55s feat-generalize-sbvfreshmonad
feat-generalize-sbvfreshmonad
January 6, 2024 17:59 1h 0m 55s
✨ Add liftFresh Auto format by ormolu #549: Commit a573295 pushed by lsrcz
January 6, 2024 17:57 23s main
main
January 6, 2024 17:57 23s
✨ Add liftFresh HLint #549: Commit a573295 pushed by lsrcz
January 6, 2024 17:57 37s main
main
January 6, 2024 17:57 37s
✨ Add liftFresh Haskell Tests #549: Commit a573295 pushed by lsrcz
January 6, 2024 17:57 47m 36s main
main
January 6, 2024 17:57 47m 36s
Add liftFresh to lift a Fresh into MonadFresh Haskell Tests #548: Pull request #156 synchronize by lsrcz
January 6, 2024 17:48 42m 46s feat-lift-fresh
feat-lift-fresh
January 6, 2024 17:48 42m 46s
Add liftFresh to lift a Fresh into MonadFresh HLint #548: Pull request #156 synchronize by lsrcz
January 6, 2024 17:48 39s feat-lift-fresh
feat-lift-fresh
January 6, 2024 17:48 39s
Add liftFresh to lift a Fresh into MonadFresh Auto format by ormolu #548: Pull request #156 synchronize by lsrcz
January 6, 2024 17:48 25s feat-lift-fresh
feat-lift-fresh
January 6, 2024 17:48 25s
Add liftFresh to lift a Fresh into MonadFresh HLint #547: Pull request #156 opened by lsrcz
January 6, 2024 17:47 35s feat-lift-fresh
feat-lift-fresh
January 6, 2024 17:47 35s
Add liftFresh to lift a Fresh into MonadFresh Auto format by ormolu #547: Pull request #156 opened by lsrcz
January 6, 2024 17:47 20s feat-lift-fresh
feat-lift-fresh
January 6, 2024 17:47 20s
Add liftFresh to lift a Fresh into MonadFresh Haskell Tests #547: Pull request #156 opened by lsrcz
January 6, 2024 17:47 29m 47s feat-lift-fresh
feat-lift-fresh
January 6, 2024 17:47 29m 47s
✨ Add the apply function for uninterpreted functions HLint #546: Commit 05f225b pushed by lsrcz
January 6, 2024 17:45 41s main
main
January 6, 2024 17:45 41s
✨ Add the apply function for uninterpreted functions Auto format by ormolu #546: Commit 05f225b pushed by lsrcz
January 6, 2024 17:45 21s main
main
January 6, 2024 17:45 21s
✨ Add the apply function for uninterpreted functions Haskell Tests #546: Commit 05f225b pushed by lsrcz
January 6, 2024 17:45 17m 9s main
main
January 6, 2024 17:45 17m 9s
Add the apply function for uninterpreted functions Auto format by ormolu #545: Pull request #155 synchronize by lsrcz
January 6, 2024 17:34 22s feat-apply-uf
feat-apply-uf
January 6, 2024 17:34 22s
Add the apply function for uninterpreted functions HLint #545: Pull request #155 synchronize by lsrcz
January 6, 2024 17:34 40s feat-apply-uf
feat-apply-uf
January 6, 2024 17:34 40s
Add the apply function for uninterpreted functions Haskell Tests #545: Pull request #155 synchronize by lsrcz
January 6, 2024 17:34 13m 49s feat-apply-uf
feat-apply-uf
January 6, 2024 17:34 13m 49s
ProTip! You can narrow down the results and go further in time using created:<2024-01-06 or the other filters available.