Skip to content

Actions: YarinHeffes/coalton

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added test for rename-bound-variables with inlining
Docs #2: Commit 2ad7d0e pushed by YarinHeffes
January 17, 2025 05:44 29s main
January 17, 2025 05:44 29s
removed lambda from unwrap-into
Docs #1: Commit d8bff9b pushed by YarinHeffes
January 16, 2025 23:52 2m 23s main
January 16, 2025 23:52 2m 23s