Skip to content

Actions: dhall-lang/dhall-haskell

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
193 workflow runs
193 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #1052420356 Dependabot Updates #29: by dependabot bot
July 14, 2025 09:48 30s main
main
July 14, 2025 09:48 30s
Relax upper bounds main #945: Pull request #2659 opened by tbidne
July 9, 2025 01:36 Action required tbidne:bounds
tbidne:bounds
July 9, 2025 01:36 Action required
github_actions in /. - Update #1048240915 Dependabot Updates #28: by dependabot bot
July 7, 2025 10:13 31s main
main
July 7, 2025 10:13 31s
unify Combine and CombineTypes main #944: Pull request #2651 synchronize by winitzki
July 1, 2025 19:13 48m 24s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
July 1, 2025 19:13 48m 24s
Add Date and Time component extraction builtins main #943: Pull request #2655 synchronize by winitzki
July 1, 2025 18:59 49m 17s kukimik:datetime-builtins
kukimik:datetime-builtins
July 1, 2025 18:59 49m 17s
github_actions in /. - Update #1043332206 Dependabot Updates #27: by dependabot bot
June 30, 2025 10:18 48s main
main
June 30, 2025 10:18 48s
github_actions in /. - Update #1043312197 Dependabot Updates #26: by dependabot bot
June 30, 2025 10:01 30s main
main
June 30, 2025 10:01 30s
Add Date and Time component extraction builtins main #942: Pull request #2655 synchronize by winitzki
June 23, 2025 18:37 1h 2m 59s kukimik:datetime-builtins
kukimik:datetime-builtins
June 23, 2025 18:37 1h 2m 59s
github_actions in /. - Update #1038936255 Dependabot Updates #25: by dependabot bot
June 23, 2025 09:58 28s main
main
June 23, 2025 09:58 28s
issue2527 character set data type main #941: Pull request #2658 synchronize by winitzki
June 21, 2025 19:15 46m 11s feature/issue2527-character-set
feature/issue2527-character-set
June 21, 2025 19:15 46m 11s
issue2527 character set data type main #940: Pull request #2658 synchronize by winitzki
June 21, 2025 18:33 41m 38s feature/issue2527-character-set
feature/issue2527-character-set
June 21, 2025 18:33 41m 38s
issue2527 character set data type main #939: Pull request #2658 synchronize by winitzki
June 21, 2025 17:40 20m 21s feature/issue2527-character-set
feature/issue2527-character-set
June 21, 2025 17:40 20m 21s
issue2527 character set data type main #938: Pull request #2658 synchronize by winitzki
June 21, 2025 16:47 28m 55s feature/issue2527-character-set
feature/issue2527-character-set
June 21, 2025 16:47 28m 55s
issue2527 character set data type main #937: Pull request #2658 opened by winitzki
June 21, 2025 15:17 16m 57s feature/issue2527-character-set
feature/issue2527-character-set
June 21, 2025 15:17 16m 57s
remove unused constructors for error messages main #936: Pull request #2657 opened by winitzki
June 21, 2025 13:15 47m 14s feature/unused-typechecker-errors
feature/unused-typechecker-errors
June 21, 2025 13:15 47m 14s
unify Combine and CombineTypes main #935: Pull request #2651 synchronize by winitzki
June 21, 2025 12:58 31m 41s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
June 21, 2025 12:58 31m 41s
unify Combine and CombineTypes main #934: Pull request #2651 synchronize by winitzki
June 20, 2025 20:16 33m 53s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
June 20, 2025 20:16 33m 53s
unify Combine and CombineTypes main #933: Pull request #2651 synchronize by winitzki
June 20, 2025 13:17 29m 26s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
June 20, 2025 13:17 29m 26s
unify Combine and CombineTypes main #932: Pull request #2651 synchronize by winitzki
June 19, 2025 21:16 32m 18s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
June 19, 2025 21:16 32m 18s
unify Combine and CombineTypes main #931: Pull request #2651 synchronize by winitzki
June 19, 2025 20:37 31m 56s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
June 19, 2025 20:37 31m 56s
unify Combine and CombineTypes main #930: Pull request #2651 synchronize by winitzki
June 19, 2025 20:26 34m 15s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
June 19, 2025 20:26 34m 15s
unify Combine and CombineTypes main #929: Pull request #2651 synchronize by winitzki
June 19, 2025 12:17 28m 27s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
June 19, 2025 12:17 28m 27s
unify Combine and CombineTypes main #928: Pull request #2651 synchronize by winitzki
June 18, 2025 17:23 48m 55s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
June 18, 2025 17:23 48m 55s
github_actions in /. - Update #1034792685 Dependabot Updates #24: by dependabot bot
June 16, 2025 10:17 34s main
main
June 16, 2025 10:17 34s
github_actions in /. - Update #1030491869 Dependabot Updates #23: by dependabot bot
June 9, 2025 10:02 35s main
main
June 9, 2025 10:02 35s