Skip to content

Why GitHub?
Features →
- Customer stories →
- Security →
Team
Enterprise
Explore
- Explore GitHub →
Learn & contribute
Connect with others
Marketplace
Pricing
Plans →
- Compare plans
- Contact Sales
- Nonprofit →
- Education →

In this repository All GitHub

No suggested jump to results

In this repository All GitHub
In this repository All GitHub

Sign in Sign up

DOMjudge / domjudge

Watch 23
Star 433
Fork 182

Code
Issues 29
Pull requests 6
Actions
Projects
Wiki
Security
Insights

More

Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights

Labels 20 Milestones 0

Labels 20 Milestones 0

New pull request New

6 Open 306 Closed

6 Open 306 Closed

Author

Filter by author

Label

Filter by label

Use alt + click/return to exclude labels.

Projects

Filter by project

Milestones

Filter by milestone

Reviews

Filter by reviews

No reviews Review required Approved review Changes requested

Assignee

Filter by who’s assigned

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated

Most reactions

WIP: Run html/css validation on src files

#873 opened Oct 3, 2020 by mvr320 • Draft

Enable joining teams in self-registration; see #869

#871 opened Oct 2, 2020 by ykazakov

Test to see if exposed URLs are only able to be seen by the correct role

#867 opened Sep 15, 2020 by mvr320 • Changes requested

Add public / team stats. Fixes #429.

#861 opened Aug 31, 2020 by nickygerritsen

6

Move remaining judging statistics to the web interface.

#837 opened Jun 21, 2020 by meisterT

8

Feature: Add prometheus metrics

#745 opened Apr 25, 2020 by ubergeek42 • Approved

ProTip! Adding no:label will show everything without a label.

© 2020 GitHub, Inc.
Terms
Privacy
Security
Status
Help

Contact GitHub
Pricing
API
Training
Blog
About

You can’t perform that action at this time.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.