Skip to content

Actions: buzden/idris2-i-hate-parens

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
254 workflow runs
254 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and test Build and test #3: Scheduled
June 16, 2024 02:03 1m 6s master
master
June 16, 2024 02:03 1m 6s
Build and test Build and test #2: Scheduled
June 15, 2024 01:57 1m 10s master
master
June 15, 2024 01:57 1m 10s
[ fin ] Add .asNat for Fins Build and test #1: Commit c6b4c32 pushed by buzden
June 14, 2024 16:48 1m 10s master
master
June 14, 2024 16:48 1m 10s
[ fin ] Add .asNat for Fins Lint #1: Commit c6b4c32 pushed by buzden
June 14, 2024 16:48 1m 33s master
master
June 14, 2024 16:48 1m 33s
ProTip! You can narrow down the results and go further in time using created:<2024-06-14 or the other filters available.