Skip to content
GitLab
Explore
Sign in
Register
alpine
aports
Merge requests
!49663
community/idris2: also performs tests for racket integration
Code
Review changes
Check out branch
Download
Patches
Plain diff
Sören Tempel
requested to merge
nmeum/aports:idris2-racket-tests
into
master
Aug 06, 2023
Overview
3
Commits
1
Pipelines
1
Changes
1
Expand
racket is now in community too, hence we can depend on it for check.
Merge request reports