Skip to content

Actions: dhall-lang/dhall-haskell

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
178 workflow runs
178 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/upload-artifact from 4 to 5 main #960: Pull request #2671 opened by dependabot bot
1h 23m 25s dependabot/github_actions/actions/upload-artifact-5
dependabot/github_actions/actions/upload-artifact-5
1h 23m 25s
github_actions in /. - Update #1135004330 Dependabot Updates #47: by dependabot bot
39s main
main
39s
github_actions in /. - Update #1129106603 Dependabot Updates #46: by dependabot bot
38s main
main
38s
Make leading "v" case-insensitive in ipVFuture main #959: Pull request #2669 synchronize by kukimik
57m 37s kukimik:ipvfuture
kukimik:ipvfuture
57m 37s
Fix parsing fully qualified domain names main #958: Pull request #2670 opened by kukimik
59m 26s kukimik:fqdn
kukimik:fqdn
59m 26s
github_actions in /. - Update #1123574648 Dependabot Updates #45: by dependabot bot
31s main
main
31s
Use unnamed Pi type argument main #957: Pull request #2640 synchronize by Gabriella439
59m 7s felixspringernatuvion:main
felixspringernatuvion:main
59m 7s
Make leading "v" case-insensitive in ipVFuture main #956: Pull request #2669 opened by kukimik
28m 50s kukimik:ipvfuture
kukimik:ipvfuture
28m 50s
github_actions in /. - Update #1118061913 Dependabot Updates #44: by dependabot bot
39s main
main
39s
github_actions in /. - Update #1111301697 Dependabot Updates #43: by dependabot bot
38s main
main
38s
github_actions in /. - Update #1111247186 Dependabot Updates #42: by dependabot bot
39s main
main
39s
github_actions in /. - Update #1111179460 Dependabot Updates #41: by dependabot bot
35s main
main
35s
github_actions in /. - Update #1105505921 Dependabot Updates #40: by dependabot bot
31s main
main
31s
dhall-json: implement --type mode for encoding type as json main #955: Pull request #2666 synchronize by amosr-msft
48m 45s amosr-msft:amos/20250919-json-schema
amosr-msft:amos/20250919-json-schema
48m 45s
unify Combine and CombineTypes main #953: Pull request #2651 synchronize by winitzki
2h 34m 31s feature/unify-Combine-and-CombineTypes
feature/unify-Combine-and-CombineTypes
2h 34m 31s
Add Date and Time component extraction builtins main #952: Pull request #2655 synchronize by winitzki
1h 27m 8s kukimik:datetime-builtins
kukimik:datetime-builtins
1h 27m 8s
issue2527 character set data type main #951: Pull request #2658 synchronize by winitzki
1h 52m 0s feature/issue2527-character-set
feature/issue2527-character-set
1h 52m 0s
github_actions in /. - Update #1100136367 Dependabot Updates #39: by dependabot bot
36s main
main
36s
github_actions in /. - Update #1100087606 Dependabot Updates #38: by dependabot bot
41s main
main
41s
github_actions in /. - Update #1100051229 Dependabot Updates #37: by dependabot bot
46s main
main
46s
github_actions in /. - Update #1093865427 Dependabot Updates #36: by dependabot bot
33s main
main
33s
dhall: Version 1.42.2 → 1.42.3 main #950: Pull request #2664 opened by Gabriella439
55m 13s gabriella/1.42.3
gabriella/1.42.3
55m 13s
Relax upper bounds main #949: Pull request #2659 synchronize by Gabriella439
1h 5m 20s tbidne:bounds
tbidne:bounds
1h 5m 20s
github_actions in /. - Update #1083167942 Dependabot Updates #35: by dependabot bot
33s main
main
33s
github_actions in /. - Update #1083109500 Dependabot Updates #34: by dependabot bot
39s main
main
39s