Skip to content

Actions: rudymatela/leancheck-instances

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
10 workflow runs
10 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
improve spacing build #27: Commit afc1866 pushed by rudymatela
February 9, 2024 10:13 3m 37s master
master
February 9, 2024 10:13 3m 37s
Makefile: reverse hack! build #26: Commit 8cd9b2d pushed by rudymatela
February 9, 2024 10:05 7m 6s master
master
February 9, 2024 10:05 7m 6s
Makefile: cabal hack build #25: Commit 7e267b3 pushed by rudymatela
February 9, 2024 10:01 3m 22s master
master
February 9, 2024 10:01 3m 22s
Makefile: --avoid-reinstalls? build #24: Commit 521d7a1 pushed by rudymatela
February 9, 2024 09:46 3m 25s master
master
February 9, 2024 09:46 3m 25s
Makefile: more INSTALL_DEPS build #23: Commit 6279d97 pushed by rudymatela
February 9, 2024 09:17 8m 6s master
master
February 9, 2024 09:17 8m 6s
rework CI scripts build #22: Commit a554976 pushed by rudymatela
February 9, 2024 09:11 1m 17s master
master
February 9, 2024 09:11 1m 17s
CI: drop older GHCs build #21: Commit 8bb10a7 pushed by rudymatela
July 6, 2023 13:51 7m 7s master
master
July 6, 2023 13:51 7m 7s
CI: drop older GHCs build #20: Commit 8bb10a7 pushed by rudymatela
July 6, 2023 13:32 6m 33s improve-ci-and-build-scripts
improve-ci-and-build-scripts
July 6, 2023 13:32 6m 33s
CI: build through cabal on the latest GHC build #19: Commit 9e5fd48 pushed by rudymatela
July 6, 2023 13:09 6m 57s improve-ci-and-build-scripts
improve-ci-and-build-scripts
July 6, 2023 13:09 6m 57s
Improve CI and build scripts build #18: Commit 7ff228a pushed by rudymatela
July 6, 2023 12:43 1m 32s improve-ci-and-build-scripts
improve-ci-and-build-scripts
July 6, 2023 12:43 1m 32s