Skip to content

Actions: agda/agda2hs

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
3 workflow run results
3 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cabal: bump agda2hs-mode to Agda-2.6.4 as well Docs #58: Commit 8e7f12b pushed by omelkonian
October 6, 2023 17:25 54s master
master
October 6, 2023 17:25 54s
[ re #200 ] Add golden file Docs #57: Commit b2c2365 pushed by jespercockx
September 27, 2023 11:25 56s master
master
September 27, 2023 11:25 56s
[ fix #200 ] Handle absurd clauses in compileClause Docs #56: Commit 5357ca4 pushed by jespercockx
September 27, 2023 09:39 46s master
master
September 27, 2023 09:39 46s