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

Add als executable as dependency of test-suite

f8f04a6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs