Skip to content

Actions: rudymatela/leancheck

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: remove tests on older GHCs build #93: Commit e02b00b pushed by rudymatela
August 29, 2024 12:32 17m 44s master
master
August 29, 2024 12:32 17m 44s
CI: remove tests on older GHCs build #92: Commit e02b00b pushed by rudymatela
August 29, 2024 12:11 10m 39s ci/remove-old-ghc
ci/remove-old-ghc
August 29, 2024 12:11 10m 39s
add cabal update to test-via-cabal build #91: Commit 21405b0 pushed by rudymatela
August 29, 2024 11:39 13m 35s ci/remove-old-ghc
ci/remove-old-ghc
August 29, 2024 11:39 13m 35s
update CI scripts build #90: Commit 4d08080 pushed by rudymatela
August 29, 2024 11:35 2m 13s ci/remove-old-ghc
ci/remove-old-ghc
August 29, 2024 11:35 2m 13s
CI: add log to troubleshoot build #89: Commit 20012be pushed by rudymatela
August 26, 2024 16:18 4m 22s ci/fix-node
ci/fix-node
August 26, 2024 16:18 4m 22s
CI: run cabal update before cabal build build #88: Commit 5407fc3 pushed by rudymatela
August 26, 2024 16:00 5m 9s master
master
August 26, 2024 16:00 5m 9s
minor fixes in Haddock markup build #87: Commit 04e3b68 pushed by rudymatela
August 19, 2024 16:27 21s master
master
August 19, 2024 16:27 21s
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