issues Search Results · language:Dune language:JavaScript language:Python language:JavaScript language:PHP language:Python
Filter by
46.4M results
Description
Create the enrollment model that connects students to courses and acts as the central place for course-specific student
status and risk data. Depends on student and course models.
Acceptance ...
Hi VaxPress / Chang Lab team,
K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology — proved in
Lean 4, no sorry, no axiom shortcuts.
For mRNA vaccine ...
Problem
When investigating flaky E2E failures (e.g. test_stop_and_restart_workspace returning Unauthorized — see #264), pod logs
are already rotated by the time we look. The cluster has no log shipping ...
Description
Implement the course resource owned by instructors, including the model, serializer, ViewSet, routing, and initial
fixture data.
Acceptance Criteria
- Course model represents instructor-owned ...
Description
Implement the student resource for the backend API, including the model, serializer, ViewSet, routing, and initial
fixture data.
Acceptance Criteria
- Student model includes fields needed ...
Hi Uni-Mol team,
K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology, proved in Lean 4
— no sorry, no axiom shortcuts.
For universal molecular representation ...
Description
Create the login endpoint for instructor authentication and token-based access to protected API routes. Depends on
[Backend] Create Custom User/Auth Setup.
Acceptance Criteria
- Endpoint ...
Description
Add seed data or fixtures for local development users so the dashboard can be tested without manually creating accounts
every time. Depends on the auth setup and token strategy.
Acceptance ...
Description
Create an API endpoint that allows a new instructor user to register for Sentinel Matrix. Depends on [Backend] Create
Custom User/Auth Setup.
Acceptance Criteria
- Endpoint accepts required ...
Description
Create the authentication foundation for instructors, including a custom user model or auth setup appropriate for the
project. This supports register, login, and instructor-owned records. ...

Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.