Skip to content

Actions: dhall-lang/dhall-haskell

Actions

main

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
126 workflow runs
126 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Relax upper bounds main #945: Pull request #2659 opened by tbidne
July 9, 2025 01:36 52m 27s tbidne:bounds
tbidne:bounds
July 9, 2025 01:36 52m 27s
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
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
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
Fixing the typechecking rule for Optional + with ? main #927: Pull request #2650 synchronize by winitzki
May 18, 2025 18:18 48m 1s feature/issue-2597-regression-with
feature/issue-2597-regression-with
May 18, 2025 18:18 48m 1s
unify Combine and CombineTypes main #926: Pull request #2651 synchronize by winitzki
May 18, 2025 08:58 30m 13s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
May 18, 2025 08:58 30m 13s
unify Combine and CombineTypes main #925: Pull request #2651 synchronize by winitzki
May 17, 2025 16:58 32m 16s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
May 17, 2025 16:58 32m 16s
unify Combine and CombineTypes main #924: Pull request #2651 synchronize by winitzki
May 17, 2025 13:20 31m 24s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
May 17, 2025 13:20 31m 24s
unify Combine and CombineTypes main #923: Pull request #2651 synchronize by winitzki
May 16, 2025 13:19 32m 16s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
May 16, 2025 13:19 32m 16s
unify Combine and CombineTypes main #922: Pull request #2651 synchronize by winitzki
May 16, 2025 13:06 35m 19s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
May 16, 2025 13:06 35m 19s
unify Combine and CombineTypes main #921: Pull request #2651 synchronize by winitzki
May 15, 2025 13:16 51m 0s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
May 15, 2025 13:16 51m 0s