Skip to content

Actions: well-typed/hs-bindgen

Actions

Whitespace

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
fix-whitespace.yml
485 workflow runs
485 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Always use C.Expr.BuildPlatform Whitespace #485: Pull request #395 opened by phadej
February 2, 2025 18:44 12s alternative-target
alternative-target
February 2, 2025 18:44 12s
Demonstrate need to import something from c-expr Whitespace #484: Pull request #394 opened by phadej
February 1, 2025 16:11 10s test-macro-2
test-macro-2
February 1, 2025 16:11 10s
With + 1L this doesn't work Whitespace #483: Pull request #392 synchronize by phadej
February 1, 2025 16:08 10s test-macro
test-macro
February 1, 2025 16:08 10s
With + 1L this doesn't work Whitespace #482: Pull request #392 synchronize by phadej
February 1, 2025 16:06 15s test-macro
test-macro
February 1, 2025 16:06 15s
With + 1L this doesn't work Whitespace #481: Pull request #392 synchronize by phadej
February 1, 2025 16:05 12s test-macro
test-macro
February 1, 2025 16:05 12s
With + 1L this doesn't work Whitespace #480: Pull request #392 synchronize by phadej
February 1, 2025 15:54 10s test-macro
test-macro
February 1, 2025 15:54 10s
With + 1L this doesn't work Whitespace #479: Pull request #392 opened by phadej
February 1, 2025 15:51 18s test-macro
test-macro
February 1, 2025 15:51 18s
Introduce GlobalCExpr Whitespace #478: Pull request #391 opened by edsko
February 1, 2025 12:57 12s edsko/global-cexpr
edsko/global-cexpr
February 1, 2025 12:57 12s
Demo Whitespace #477: Pull request #390 opened by phadej
February 1, 2025 12:15 19s fragile
fragile
February 1, 2025 12:15 19s
Merge pull request #389 from well-typed/edsko/target Whitespace #476: Commit f803508 pushed by edsko
February 1, 2025 11:27 9s main
main
February 1, 2025 11:27 9s
Be more specific about the target platform Whitespace #475: Pull request #389 synchronize by edsko
February 1, 2025 11:16 10s edsko/target
edsko/target
February 1, 2025 11:16 10s
Be more specific about the target platform Whitespace #474: Pull request #389 synchronize by edsko
February 1, 2025 11:13 12s edsko/target
edsko/target
February 1, 2025 11:13 12s
Be more specific about the target platform Whitespace #473: Pull request #389 synchronize by edsko
February 1, 2025 11:04 13s edsko/target
edsko/target
February 1, 2025 11:04 13s
Be more specific about the target platform Whitespace #472: Pull request #389 opened by edsko
February 1, 2025 11:03 13s edsko/target
edsko/target
February 1, 2025 11:03 13s
Merge pull request #386 from well-typed/edsko/typedef-prim-instances Whitespace #471: Commit 3729fde pushed by edsko
January 31, 2025 15:41 12s main
main
January 31, 2025 15:41 12s
Instances for typedefs around primtypes Whitespace #470: Pull request #386 synchronize by edsko
January 31, 2025 15:29 16s edsko/typedef-prim-instances
edsko/typedef-prim-instances
January 31, 2025 15:29 16s
Merge pull request #385 from well-typed/translation-modules Whitespace #469: Commit 9440c9d pushed by edsko
January 31, 2025 15:29 14s main
main
January 31, 2025 15:29 14s
Prune module graph Whitespace #468: Pull request #385 synchronize by phadej
January 31, 2025 15:21 18s translation-modules
translation-modules
January 31, 2025 15:21 18s
Instances for typedefs around primtypes Whitespace #467: Pull request #386 opened by edsko
January 31, 2025 15:16 12s edsko/typedef-prim-instances
edsko/typedef-prim-instances
January 31, 2025 15:16 12s
Prune module graph Whitespace #466: Pull request #385 opened by phadej
January 31, 2025 13:15 13s translation-modules
translation-modules
January 31, 2025 13:15 13s
Merge pull request #384 from well-typed/edsko/more-instances Whitespace #465: Commit 7ecee40 pushed by edsko
January 31, 2025 10:29 16s main
main
January 31, 2025 10:29 16s
More instances Whitespace #464: Pull request #384 synchronize by edsko
January 31, 2025 10:20 13s edsko/more-instances
edsko/more-instances
January 31, 2025 10:20 13s
More instances Whitespace #463: Pull request #384 opened by edsko
January 31, 2025 07:57 17s edsko/more-instances
edsko/more-instances
January 31, 2025 07:57 17s
Merge pull request #383 from well-typed/edsko/instances Whitespace #462: Commit f5a459f pushed by edsko
January 31, 2025 06:25 10s main
main
January 31, 2025 06:25 10s
Pave the way for generating additional instances Whitespace #461: Pull request #383 synchronize by edsko
January 31, 2025 06:11 14s edsko/instances
edsko/instances
January 31, 2025 06:11 14s