Skip to content

Actions: rudymatela/tasty-leancheck

Actions

build

Actions

Loading...

Show workflow options

Create status badge

5 workflow runs
5 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

spacing
build #17: Commit e6fa6f9 pushed by rudymatela
February 9, 2024 10:18 3m 40s master
February 9, 2024 10:18 3m 40s
rework CI scripts
build #16: Commit 9971806 pushed by rudymatela
February 9, 2024 10:03 7m 20s master
February 9, 2024 10:03 7m 20s
CI: drop older GHCs
build #15: Commit fe88968 pushed by rudymatela
July 6, 2023 14:31 8m 0s master
July 6, 2023 14:31 8m 0s
Makefile: set INSTALL_DEPS
build #14: Commit 5088005 pushed by rudymatela
July 6, 2023 14:00 9m 19s master
July 6, 2023 14:00 9m 19s
update CI, build scripts and supported GHCs
build #13: Commit e3de6dd pushed by rudymatela
July 6, 2023 13:55 27s master
July 6, 2023 13:55 27s