Skip to content

Actions: YarinHeffes/coalton

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 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
main
January 17, 2025 05:44 29s
added test for rename-bound-variables with inlining CI #2: Commit 2ad7d0e pushed by YarinHeffes
January 17, 2025 05:44 2m 55s main
main
January 17, 2025 05:44 2m 55s
removed lambda from unwrap-into CI #1: Commit d8bff9b pushed by YarinHeffes
January 16, 2025 23:52 2m 42s main
main
January 16, 2025 23:52 2m 42s
removed lambda from unwrap-into Docs #1: Commit d8bff9b pushed by YarinHeffes
January 16, 2025 23:52 2m 23s main
main
January 16, 2025 23:52 2m 23s