Skip to content

Actions: agda/agda2hs

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add missing COMPILE pragma for rezz-id Docs #95: Commit 04f48a2 pushed by jespercockx
January 19, 2024 15:39 45s master
master
January 19, 2024 15:39 45s
Add helper function refineMaybe (#267) Docs #94: Commit f37dff8 pushed by jespercockx
January 19, 2024 14:48 37s master
master
January 19, 2024 14:48 37s
Add built-in support for Delay monad Docs #93: Commit 984821a pushed by flupe
January 17, 2024 09:14 40s master
master
January 17, 2024 09:14 40s
Enable debug printing in cabal.project (re https://github.com/agda/ag… Docs #92: Commit e492bf8 pushed by jespercockx
January 15, 2024 17:18 40s master
master
January 15, 2024 17:18 40s