Skip to content

Actions: bgamari/cabal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cabal: Allow time-1.14 Linting #18: Commit 1e89f8a pushed by bgamari
April 12, 2024 16:07 1m 24s wip/bump-time-3.12
wip/bump-time-3.12
April 12, 2024 16:07 1m 24s
Cabal: Allow time-1.14 Linting #17: Commit 1e89f8a pushed by bgamari
April 12, 2024 15:59 1m 20s wip/bump-time
wip/bump-time
April 12, 2024 15:59 1m 20s
Bump time upper bound to acccomodate 1.14 Linting #16: Commit e7d9b84 pushed by Mikolaj
April 6, 2024 08:38 1m 20s wip/time-1.14
wip/time-1.14
April 6, 2024 08:38 1m 20s
Bump time upper bound to acccomodate 1.14 Linting #15: Commit 479680d pushed by Mikolaj
March 29, 2024 19:23 1m 26s wip/time-1.14
wip/time-1.14
March 29, 2024 19:23 1m 26s
Bump time upper bound to acccomodate 1.14 Linting #14: Commit 87dc5e2 pushed by bgamari
March 27, 2024 13:43 1m 20s wip/time-1.14
wip/time-1.14
March 27, 2024 13:43 1m 20s
Bump time upper bound to acccomodate 1.14 Linting #13: Commit de6669f pushed by bgamari
March 27, 2024 13:42 1m 21s wip/time-1.14
wip/time-1.14
March 27, 2024 13:42 1m 21s
Cabal-syntax: Drop dependencies on unix and Win32 Linting #12: Commit cd6f1ed pushed by Mikolaj
January 29, 2024 00:13 1m 20s wip/drop-unix-dep
wip/drop-unix-dep
January 29, 2024 00:13 1m 20s
Cabal-syntax: Drop dependencies on unix and Win32 Linting #11: Commit a98da6c pushed by bgamari
January 26, 2024 15:24 1m 20s wip/drop-unix-dep
wip/drop-unix-dep
January 26, 2024 15:24 1m 20s
Cabal-syntax: Drop dependencies on unix and Win32 Linting #10: Commit 5e6b7da pushed by bgamari
January 26, 2024 04:38 1m 17s wip/drop-unix-dep
wip/drop-unix-dep
January 26, 2024 04:38 1m 17s
Bump Win32 upper bound to allow 2.14 Linting #9: Commit 62f9c60 pushed by bgamari
January 25, 2024 20:49 1m 19s wip/bump-win32
wip/bump-win32
January 25, 2024 20:49 1m 19s
Use ghc --merge-objs when available to join object files Linting #8: Commit 280faa9 pushed by bgamari
September 1, 2023 14:19 2m 9s wip/merge-objs
wip/merge-objs
September 1, 2023 14:19 2m 9s
Use ghc --merge-objs when available to join object files Linting #7: Commit 247d563 pushed by bgamari
September 1, 2023 14:15 1m 58s wip/merge-objs
wip/merge-objs
September 1, 2023 14:15 1m 58s
Use ghc --merge-objs when available to join object files Linting #6: Commit 92bb632 pushed by bgamari
September 1, 2023 14:05 2m 8s wip/merge-objs
wip/merge-objs
September 1, 2023 14:05 2m 8s
Use ghc --merge-objs when available to join object files Linting #5: Commit 5922e50 pushed by bgamari
September 1, 2023 14:04 1m 55s wip/merge-objs
wip/merge-objs
September 1, 2023 14:04 1m 55s
Use ghc --merge-objs when available to join object files Linting #4: Commit 670c782 pushed by bgamari
September 1, 2023 13:59 2m 13s wip/merge-objs
wip/merge-objs
September 1, 2023 13:59 2m 13s
Add changelog Linting #3: Commit 00d8f11 pushed by bgamari
September 1, 2023 13:50 1m 41s wip/merge-objs
wip/merge-objs
September 1, 2023 13:50 1m 41s
Add support for using GHC's -jsem option Linting #2: Commit 0a1c167 pushed by bgamari
July 18, 2023 17:56 2m 36s wip/jsem
wip/jsem
July 18, 2023 17:56 2m 36s
Fixes Linting #1: Commit 13f3650 pushed by bgamari
July 18, 2023 17:55 2m 18s wip/jsem
wip/jsem
July 18, 2023 17:55 2m 18s