Skip to content

Actions: dhall-lang/dhall-haskell

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
197 workflow runs
197 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

to-directory-tree: Create parents of files when using fixpoint directory tree representation main #909: Pull request #2653 synchronize by mmhat
April 28, 2025 01:38 33m 30s mmhat:to-directory-tree-create-parent
mmhat:to-directory-tree-create-parent
April 28, 2025 01:38 33m 30s
to-directory-tree: Create parents of files when using fixpoint directory tree representation main #908: Pull request #2653 opened by mmhat
April 27, 2025 23:59 48m 23s mmhat:to-directory-tree-create-parent
mmhat:to-directory-tree-create-parent
April 27, 2025 23:59 48m 23s
Update dhall-lang submodule main #907: Pull request #2652 opened by mmhat
April 22, 2025 20:26 49m 34s mmhat:update-submodule
mmhat:update-submodule
April 22, 2025 20:26 49m 34s
github_actions in /. - Update #1001753671 Dependabot Updates #16: by dependabot bot
April 21, 2025 09:29 37s main
main
April 21, 2025 09:29 37s
github_actions in /. - Update #997931470 Dependabot Updates #15: by dependabot bot
April 14, 2025 09:53 34s main
main
April 14, 2025 09:53 34s
github_actions in /. - Update #994052473 Dependabot Updates #14: by dependabot bot
April 7, 2025 09:27 32s main
main
April 7, 2025 09:27 32s
github_actions in /. - Update #989513555 Dependabot Updates #13: by dependabot bot
March 31, 2025 09:58 30s main
main
March 31, 2025 09:58 30s
github_actions in /. - Update #985478832 Dependabot Updates #12: by dependabot bot
March 24, 2025 10:03 30s main
main
March 24, 2025 10:03 30s
unify Combine and CombineTypes main #906: Pull request #2651 synchronize by winitzki
March 20, 2025 21:29 14m 40s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
March 20, 2025 21:29 14m 40s
unify Combine and CombineTypes main #905: Pull request #2651 synchronize by winitzki
March 17, 2025 17:10 13m 47s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
March 17, 2025 17:10 13m 47s
unify Combine and CombineTypes main #904: Pull request #2651 synchronize by winitzki
March 17, 2025 16:48 4m 54s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
March 17, 2025 16:48 4m 54s
github_actions in /. - Update #981536263 Dependabot Updates #11: by dependabot bot
March 17, 2025 09:26 33s main
main
March 17, 2025 09:26 33s
unify Combine and CombineTypes main #903: Pull request #2651 synchronize by winitzki
March 14, 2025 11:22 33m 36s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
March 14, 2025 11:22 33m 36s
unify Combine and CombineTypes main #902: Pull request #2651 synchronize by winitzki
March 14, 2025 10:57 31m 55s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
March 14, 2025 10:57 31m 55s
unify Combine and CombineTypes main #901: Pull request #2651 synchronize by winitzki
March 14, 2025 09:55 6h 5m 4s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
March 14, 2025 09:55 6h 5m 4s
unify Combine and CombineTypes main #900: Pull request #2651 opened by winitzki
March 13, 2025 21:29 42m 42s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
March 13, 2025 21:29 42m 42s
Fixing the typechecking rule for Optional + with ? main #899: Pull request #2650 synchronize by winitzki
March 12, 2025 18:05 16m 12s feature/issue-2597-regression-with
feature/issue-2597-regression-with
March 12, 2025 18:05 16m 12s
Fixing the typechecking rule for Optional + with ? main #898: Pull request #2650 synchronize by winitzki
March 12, 2025 17:50 4m 40s feature/issue-2597-regression-with
feature/issue-2597-regression-with
March 12, 2025 17:50 4m 40s
Fixing the typechecking rule for Optional + with ? main #897: Pull request #2650 synchronize by winitzki
March 12, 2025 15:35 59m 8s feature/issue-2597-regression-with
feature/issue-2597-regression-with
March 12, 2025 15:35 59m 8s
Fixing the typechecking rule for Optional + with ? main #896: Pull request #2650 opened by winitzki
March 12, 2025 15:31 1h 2m 7s feature/issue-2597-regression-with
feature/issue-2597-regression-with
March 12, 2025 15:31 1h 2m 7s
Preliminary support for GHC 9.12.1 main #895: Pull request #2649 opened by mmhat
March 11, 2025 02:35 58m 25s mmhat:ghc-9.12-cabal
mmhat:ghc-9.12-cabal
March 11, 2025 02:35 58m 25s
dhall-bash: Switch from optparse-generic to optparse-applicative main #894: Pull request #2648 opened by mmhat
March 10, 2025 16:24 50m 53s mmhat:remove-optparse-generic
mmhat:remove-optparse-generic
March 10, 2025 16:24 50m 53s
github_actions in /. - Update #977430616 Dependabot Updates #10: by dependabot bot
March 10, 2025 09:27 41s main
main
March 10, 2025 09:27 41s
GHC 9.12 Compatibility main #893: Pull request #2647 opened by m4dc4p
March 6, 2025 01:35 52m 35s m4dc4p:ghc-912
m4dc4p:ghc-912
March 6, 2025 01:35 52m 35s
github_actions in /. - Update #973568351 Dependabot Updates #9: by dependabot bot
March 3, 2025 10:37 40s main
main
March 3, 2025 10:37 40s