Skip to content

Actions: flupe/agda2hs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2 workflow runs
2 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 CI #1: Commit a0ebc0c pushed by flupe
November 11, 2023 22:08 13m 22s master
master
November 11, 2023 22:08 13m 22s