Skip to content

Actions: ndmitchell/hlint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
475 workflow runs
475 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updates for compatibility with GHC HEAD
ci #1173: Commit 728bcb5 pushed by shayne-fletcher
January 10, 2024 00:54 25m 30s ghc-next
January 10, 2024 00:54 25m 30s
ci
ci #1172: Scheduled
January 6, 2024 03:02 46m 44s master
January 6, 2024 03:02 46m 44s
ci
ci #1171: Scheduled
December 30, 2023 03:03 40m 46s master
December 30, 2023 03:03 40m 46s
ci
ci #1170: Scheduled
December 23, 2023 03:03 40m 41s master
December 23, 2023 03:03 40m 41s
[ghc-api]: upgrade to ghc-9.8
ci #1169: Pull request #1544 synchronize by shayne-fletcher
December 21, 2023 19:58 46m 54s ghc-9.8.1
December 21, 2023 19:58 46m 54s
[ghc-api]: upgrade to ghc-9.8
ci #1168: Commit 1df3eef pushed by shayne-fletcher
December 21, 2023 19:58 40m 9s ghc-9.8.1
December 21, 2023 19:58 40m 9s
add {-# OPTIONS_GHC -Wno-x-partial #-} where neccessary
ci #1167: Pull request #1551 synchronize by shayne-fletcher
December 21, 2023 18:49 45m 35s ghc-9.8.1-partial
December 21, 2023 18:49 45m 35s
disable x-partial
ci #1166: Commit b1cf4d3 pushed by shayne-fletcher
December 21, 2023 18:49 45m 22s ghc-9.8.1-partial
December 21, 2023 18:49 45m 22s
add {-# OPTIONS_GHC -Wno-x-partial #-} where neccessary
ci #1165: Pull request #1551 synchronize by shayne-fletcher
December 21, 2023 18:39 44m 41s ghc-9.8.1-partial
December 21, 2023 18:39 44m 41s
disable x-partial
ci #1164: Commit 08fd099 pushed by shayne-fletcher
December 21, 2023 18:39 44m 8s ghc-9.8.1-partial
December 21, 2023 18:39 44m 8s
add {-# OPTIONS_GHC -Wno-x-partial #-} where neccessary
ci #1163: Pull request #1551 synchronize by shayne-fletcher
December 21, 2023 17:52 44m 48s ghc-9.8.1-partial
December 21, 2023 17:52 44m 48s
disable x-partial
ci #1162: Commit 13040cf pushed by shayne-fletcher
December 21, 2023 17:52 48m 41s ghc-9.8.1-partial
December 21, 2023 17:52 48m 41s
add {-# OPTIONS_GHC -Wno-x-partial #-} where neccessary
ci #1161: Pull request #1551 synchronize by shayne-fletcher
December 21, 2023 17:16 43m 52s ghc-9.8.1-partial
December 21, 2023 17:16 43m 52s
disable x-partial
ci #1160: Commit 90026f4 pushed by shayne-fletcher
December 21, 2023 17:16 45m 17s ghc-9.8.1-partial
December 21, 2023 17:16 45m 17s
add {-# OPTIONS_GHC -Wno-x-partial #-} where neccessary
ci #1159: Pull request #1551 synchronize by shayne-fletcher
December 21, 2023 16:34 30m 51s ghc-9.8.1-partial
December 21, 2023 16:34 30m 51s
disable x-partial
ci #1158: Commit 0158bce pushed by shayne-fletcher
December 21, 2023 16:34 30m 37s ghc-9.8.1-partial
December 21, 2023 16:34 30m 37s
add {-# OPTIONS_GHC -Wno-x-partial #-} where neccessary
ci #1157: Pull request #1551 opened by shayne-fletcher
December 21, 2023 16:18 43m 4s ghc-9.8.1-partial
December 21, 2023 16:18 43m 4s
disable x-partial
ci #1156: Commit 11a6f58 pushed by shayne-fletcher
December 21, 2023 16:17 35m 11s ghc-9.8.1-partial
December 21, 2023 16:17 35m 11s
[ghc-api]: upgrade to ghc-9.8
ci #1155: Pull request #1550 opened by shayne-fletcher
December 21, 2023 15:38 28m 52s ghc-9.8.1-ci-4
December 21, 2023 15:38 28m 52s
[ghc-api]: upgrade to ghc-9.8
ci #1154: Commit 92c5c98 pushed by shayne-fletcher
December 21, 2023 15:37 31m 31s ghc-9.8.1-ci-4
December 21, 2023 15:37 31m 31s
ci
ci #1153: Scheduled
December 16, 2023 03:03 41m 39s master
December 16, 2023 03:03 41m 39s
updates for compatibility with GHC HEAD
ci #1152: Commit b4632e9 pushed by shayne-fletcher
December 13, 2023 15:41 51m 4s ghc-next
December 13, 2023 15:41 51m 4s
updates for compatibility with GHC HEAD
ci #1151: Commit 5978366 pushed by shayne-fletcher
December 13, 2023 15:39 39m 32s ghc-next
December 13, 2023 15:39 39m 32s
updates for compatibility with GHC HEAD
ci #1150: Commit c002d7f pushed by shayne-fletcher
December 12, 2023 14:02 40m 56s ghc-next
December 12, 2023 14:02 40m 56s
ci
ci #1149: Scheduled
December 9, 2023 03:03 41m 44s master
December 9, 2023 03:03 41m 44s
ProTip! You can narrow down the results and go further in time using created:<2023-12-09 or the other filters available.