Skip to content

Actions: knisht/agda

Actions

Install (v2-cabal)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cabal-install.yml
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bug in size preservation Install (v2-cabal) #2: Pull request #2 opened by andreasabel
February 7, 2024 09:21 13m 15s agda:tbt
agda:tbt
February 7, 2024 09:21 13m 15s