Skip to content

Actions: HigherOrderCO/Bend

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,193 workflow runs
1,193 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

August 7, 2024 16:50 1m 50s
Checks
Checks #1119: Merge group checks requested
August 7, 2024 16:48 1m 57s
August 7, 2024 16:48 1m 57s
Merge pull request #662 from In-Veritas/main
Checks #1117: Commit 270f39c pushed by github-merge-queue bot
August 7, 2024 15:30 2m 13s main
August 7, 2024 15:30 2m 13s
Checks
Checks #1116: Merge group checks requested
August 7, 2024 15:27 2m 5s
August 7, 2024 15:27 2m 5s
Adds builtin functions Tree/reverse and Tree/to_list
Checks #1115: Pull request #662 synchronize by developedby
August 7, 2024 15:24 1m 56s In-Veritas:main
August 7, 2024 15:24 1m 56s
August 6, 2024 17:49 2m 9s
Checks
Checks #1111: Merge group checks requested
August 6, 2024 17:47 1m 56s
August 6, 2024 17:47 1m 56s
August 5, 2024 16:08 1m 57s
Checks
Checks #1106: Merge group checks requested
August 5, 2024 16:06 2m 2s
August 5, 2024 16:06 2m 2s
Merge pull request #656 from Janiczek/patch-1
Checks #1102: Commit 848fd2b pushed by github-merge-queue bot
August 4, 2024 20:36 2m 4s main
August 4, 2024 20:36 2m 4s
Checks
Checks #1101: Merge group checks requested
August 4, 2024 20:33 1m 50s
August 4, 2024 20:33 1m 50s
Fix fun syntax with/wrap example
Checks #1100: Pull request #656 synchronize by Janiczek
August 4, 2024 19:19 2m 3s patch-1
August 4, 2024 19:19 2m 3s
August 2, 2024 15:42 2m 2s
Checks
Checks #1096: Merge group checks requested
August 2, 2024 15:40 1m 50s
August 2, 2024 15:40 1m 50s