Skip to content

Actions: rudymatela/leancheck

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
36 workflow runs
36 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
doc/tutorial.md: remove trailing whitespace build #86: Commit c6da38d pushed by rudymatela
February 8, 2024 18:13 8m 25s ci/new
ci/new
February 8, 2024 18:13 8m 25s
brand new CI scripts build #85: Commit 60d2861 pushed by rudymatela
February 8, 2024 18:05 7m 41s ci/new
ci/new
February 8, 2024 18:05 7m 41s
build build #84: by rudymatela
January 26, 2024 17:08 6m 13s v1.0.2
v1.0.2
January 26, 2024 17:08 6m 13s
dev version bump build #83: Commit 9307671 pushed by rudymatela
January 26, 2024 17:08 3m 49s master
master
January 26, 2024 17:08 3m 49s
Derive: improve internal documentation build #82: Commit 0733215 pushed by rudymatela
January 26, 2024 10:49 4m 6s master
master
January 26, 2024 10:49 4m 6s
Derive: refactor typeConstructors build #81: Commit b2970e4 pushed by rudymatela
January 26, 2024 10:36 3m 54s lint/derive
lint/derive
January 26, 2024 10:36 3m 54s
LeanCheck.Derive: use fmap instead of liftM build #80: Commit ab2285e pushed by rudymatela
January 26, 2024 09:21 3m 57s lint/derive
lint/derive
January 26, 2024 09:21 3m 57s
undefinedOf: fix error location build #79: Commit 2cf5eeb pushed by rudymatela
January 25, 2024 17:31 3m 59s master
master
January 25, 2024 17:31 3m 59s
test/derive: use newtype instead of data build #78: Commit 419fbb5 pushed by rudymatela
January 25, 2024 17:04 4m 8s master
master
January 25, 2024 17:04 4m 8s
Makefile: activate -Werror again build #77: Commit 40ef9a5 pushed by rudymatela
January 25, 2024 16:55 3m 36s fix/warnings
fix/warnings
January 25, 2024 16:55 3m 36s
Makefile: simplify diff-test handling for tiers build #76: Commit 66b1183 pushed by rudymatela
January 25, 2024 16:47 4m 41s master
master
January 25, 2024 16:47 4m 41s
fix txt location in leancheck.cabal build #75: Commit 22fcc25 pushed by rudymatela
January 25, 2024 16:26 3m 58s master
master
January 25, 2024 16:26 3m 58s
Stats.headLength: clarify error origin build #74: Commit d13c6a5 pushed by rudymatela
January 25, 2024 15:50 3m 53s master
master
January 25, 2024 15:50 3m 53s
LeanCheck.Derive: qualify functions causing errors build #73: Commit 111bfb8 pushed by rudymatela
January 25, 2024 15:44 4m 10s master
master
January 25, 2024 15:44 4m 10s
test/*: use newtypes build #72: Commit bff5400 pushed by rudymatela
January 25, 2024 15:05 4m 8s master
master
January 25, 2024 15:05 4m 8s
test/*: use newtypes build #71: Commit bff5400 pushed by rudymatela
January 25, 2024 14:59 4m 2s fix/lints
fix/lints
January 25, 2024 14:59 4m 2s
ShowFunction: remove uneeded comment build #70: Commit a7e118f pushed by rudymatela
January 25, 2024 14:28 4m 11s master
master
January 25, 2024 14:28 4m 11s
LeanCheck.IO: use void build #69: Commit faa110d pushed by rudymatela
January 25, 2024 14:23 3m 36s fix/lints
fix/lints
January 25, 2024 14:23 3m 36s
Stats: fuse maps build #68: Commit 5dabe23 pushed by rudymatela
January 25, 2024 14:12 3m 42s master
master
January 25, 2024 14:12 3m 42s
Merge build #67: Commit 9a851a9 pushed by rudymatela
January 25, 2024 14:02 5m 20s master
master
January 25, 2024 14:02 5m 20s
Makefile: restore -Werror but without -W build #66: Commit d191372 pushed by rudymatela
January 23, 2024 17:52 4m 35s fix/warnings
fix/warnings
January 23, 2024 17:52 4m 35s
Makefile: remove -Werror flag build #65: Commit 94fa196 pushed by rudymatela
January 23, 2024 17:49 4m 35s master
master
January 23, 2024 17:49 4m 35s
Makefile: remove -Werror flag build #64: Commit 94fa196 pushed by rudymatela
January 23, 2024 17:38 4m 3s ci/update
ci/update
January 23, 2024 17:38 4m 3s
make GHC 9.8 happy replacing by tail with drop 1 build #63: Commit 6fa35f9 pushed by rudymatela
January 23, 2024 17:09 4m 3s ci/update
ci/update
January 23, 2024 17:09 4m 3s
CI: explicitly test on GHC 9.6 and GHC 9.8 build #62: Commit 5c731dd pushed by rudymatela
January 23, 2024 16:58 3m 49s ci/update
ci/update
January 23, 2024 16:58 3m 49s