Skip to content

Actions: flupe/agda2hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

backup CI #2: Commit 1bc72c4 pushed by flupe
November 16, 2023 16:03 4m 17s master
master
November 16, 2023 16:03 4m 17s
backup Docs #1: Commit a0ebc0c pushed by flupe
November 11, 2023 22:08 30s master
master
November 11, 2023 22:08 30s
backup CI #1: Commit a0ebc0c pushed by flupe
November 11, 2023 22:08 13m 22s master
master
November 11, 2023 22:08 13m 22s