Skip to content

Add als executable as dependency of test-suite#43

Draft
juliapath wants to merge 1 commit into
agda:masterfrom
juliapath:test-build-tool-depends
Draft

Add als executable as dependency of test-suite#43
juliapath wants to merge 1 commit into
agda:masterfrom
juliapath:test-build-tool-depends

Commits

Commits on Mar 2, 2026