Skip to content

Bump CI tag to Agda v2.8.0 (not RCs)

e0c37ce
Select commit
Loading
Failed to load commit list.
Open

Add doc/ to the target in Makefile and make the cabal command customizable #2830

Bump CI tag to Agda v2.8.0 (not RCs)
e0c37ce
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs