This website requires JavaScript.
Explore
Help
Sign In
rhi
/
idris2-tap
Watch
1
Star
0
Fork
You've already forked idris2-tap
0
Code
Issues
1
Pull Requests
Projects
Releases
Wiki
Activity
Labels
Milestones
New Issue
1 Open
1 Closed
Label
Show archived labels
Use
alt
+
click/enter
to exclude labels
All labels
No label
Milestone
All milestones
No milestones
Project
All projects
No project
Author
All authors
Assignee
All assignees
No assignee
rhi
Sort
Newest
Oldest
Recently updated
Least recently updated
Most commented
Least commented
Nearest due date
Farthest due date
1 Open
1 Closed
Open
Label
Clear labels
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
rhi
if all tests in a group have been filtered out, then skip the notes too
#1
by
rhi
was closed
2023-02-11 17:35:22 -05:00